Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 20, 2023

• chore: mitigate leanprover#133 for now

  hargoniX

  committed
  9b524d7

  Copy full SHA for 9b524d7

• fix: declaration-data.js local storage

  hargoniX

  committed
  d65d26d

  Copy full SHA for d65d26d

• chore: cleanup the other declaration-data.js singleton

  hargoniX

  committed
  9265002

  Copy full SHA for 9265002

• fix: race condition in declaration-data.js

  hargoniX

  committed
  5ce54e8

  Copy full SHA for 5ce54e8

Commits on Jun 25, 2023

• chore: disable LeanInk because of weird panics

  hargoniX

  committed
  9af4c72

  Copy full SHA for 9af4c72

Commits on Jun 9, 2023

• fix colors if media set to dark

  Show description for 76a137d
  

  4e554c4c

  authored and

  hargoniX

  committed
  76a137d

  Copy full SHA for 76a137d

• hide color-changer if javascript is disabled

  

  4e554c4c

  authored and

  hargoniX

  committed
  75d06a8

  Copy full SHA for 75d06a8

• add colorscheme toggle

  

  4e554c4c

  authored and

  hargoniX

  committed
  cc552ed

  Copy full SHA for cc552ed

• add dark mode

  

  4e554c4c

  authored and

  hargoniX

  committed
  b9cfae7

  Copy full SHA for b9cfae7

Commits on Jun 4, 2023

• chore: update toolchain

  hargoniX

  committed
  2e021cc

  Copy full SHA for 2e021cc

Commits on May 26, 2023

• Improve installation instructions

  

  DenisGorbachev

  authored and

  hargoniX

  committed
  b91272c

  Copy full SHA for b91272c

Commits on May 24, 2023

• feat: trigger search input when event handler is added

  

  alexjbest

  authored and

  hargoniX

  committed
  e0eecc3

  Copy full SHA for e0eecc3

Commits on May 23, 2023

• feat: don't copy .git folders in test

  

  alexjbest

  authored and

  hargoniX

  committed
  5e2869b

  Copy full SHA for 5e2869b

• feat: list instances for defs also

  

  alexjbest

  authored and

  hargoniX

  committed
  306959b

  Copy full SHA for 306959b

Commits on May 11, 2023

• feat: doc strings on ctors and fields are not monospaced anymore

  hargoniX

  committed
  e888e9c

  Copy full SHA for e888e9c

• chore: update toolchain and deps

  hargoniX

  committed
  007e03d

  Copy full SHA for 007e03d

Commits on Apr 23, 2023

• feat: attempt to source link directory dependencies

  hargoniX

  committed
  cf86cb4

  Copy full SHA for cf86cb4

Commits on Apr 21, 2023

• chore: update toolchain

  hargoniX

  committed
  9ebc793

  Copy full SHA for 9ebc793

• chore: cleanup CI after partial migration to mathlib4

  hargoniX

  committed
  a5c41d2

  Copy full SHA for a5c41d2

Commits on Apr 16, 2023

• fix: get rid off deleted attribute

  hargoniX

  committed
  9b02856

  Copy full SHA for 9b02856

Commits on Apr 15, 2023

• chore: update toolchain

  hargoniX

  committed
  e5b44f1

  Copy full SHA for e5b44f1

Commits on Mar 27, 2023

• fix: Use Z(separator) instead of S(ymbol) category

  Show description for b9421b9
  hargoniX

  committed
  b9421b9

  Copy full SHA for b9421b9

Commits on Mar 17, 2023

• chore: update deps further

  hargoniX

  committed
  23eb55f

  Copy full SHA for 23eb55f

• chore: update toolchain

  hargoniX

  committed
  7b65322

  Copy full SHA for 7b65322

Commits on Mar 16, 2023

• fix: properly comment out for the workaround

  hargoniX

  committed
  628ef28

  Copy full SHA for 628ef28

Commits on Mar 15, 2023

• fix: unicode dependency

  

  fgdorais

  authored and

  hargoniX

  committed
  5ab7d0b

  Copy full SHA for 5ab7d0b

Commits on Mar 12, 2023

• feat: new CI setup

  hargoniX

  committed
  0c41523

  Copy full SHA for 0c41523

Commits on Mar 11, 2023

• fix: correct character category testing

  

  fgdorais

  authored and

  hargoniX

  committed
  755f06f

  Copy full SHA for 755f06f

• refactor: switch to maintained unicode lib

  hargoniX

  committed
  5f59fba

  Copy full SHA for 5f59fba

Commits on Mar 9, 2023

• feat: show versions in index HTML

  hargoniX

  committed
  720e1ac

  Copy full SHA for 720e1ac

• chore: update lake

  hargoniX

  committed
  8cb5a2e

  Copy full SHA for 8cb5a2e

• chore: update toolchhain

  hargoniX

  committed
  54463ac

  Copy full SHA for 54463ac

Commits on Mar 4, 2023

• chore: update toolchain

  hargoniX

  committed
  27cbf8d

  Copy full SHA for 27cbf8d

• help break_within to split names at .

  

  jorpic

  authored and

  hargoniX

  committed
  c3faad1

  Copy full SHA for c3faad1

• fix implicit arg wrapping

  

  jorpic

  authored and

  hargoniX

  committed
  9220cd7

  Copy full SHA for 9220cd7

Pagination

Previous

Next