Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 13, 2024

• fix: wrong linking in backrefs

  hargoniX

  committed
  b941c42

  Copy full SHA for b941c42

• chore: correct lifting constraints

  hargoniX

  committed
  a9949bf

  Copy full SHA for a9949bf

• feat: add bibliography support

  

  acmepjz

  authored and

  hargoniX

  committed
  5b01e7c

  Copy full SHA for 5b01e7c

• chore: update toolchain, add BibtexQuery dependency

  

  acmepjz

  authored and

  hargoniX

  committed
  40aa668

  Copy full SHA for 40aa668

Commits on Jul 8, 2024

• feat: use find instead of panic in extendLink

  

  acmepjz

  authored and

  hargoniX

  committed
  194403b

  Copy full SHA for 194403b

• chore: print error messages instead of unreachable

  

  acmepjz

  authored and

  hargoniX

  committed
  7a7a2ab

  Copy full SHA for 7a7a2ab

Commits on Jul 7, 2024

• chore: move some xml function to another file

  

  acmepjz

  authored and

  hargoniX

  committed
  d1be57c

  Copy full SHA for d1be57c

Commits on Jul 5, 2024

• feat: split out header data generation

  hargoniX

  committed
  b5197b6

  Copy full SHA for b5197b6

• perf: reduce size of .lake/build/doc

  hargoniX

  committed
  7aa0886

  Copy full SHA for 7aa0886

Commits on Jul 4, 2024

• perf: speed up CI

  hargoniX

  committed
  5cf3352

  Copy full SHA for 5cf3352

• chore: fix CI

  hargoniX

  committed
  ca743c1

  Copy full SHA for ca743c1

Commits on Jul 1, 2024

• Merge pull request leanprover#202 from leanprover/bump_to_v4.10.0-rc1

  Show description for c369436
  kim-em

  authored
  c369436

  Copy full SHA for c369436

• lake update

  kim-em

  committed
  64d527d

  Copy full SHA for 64d527d

• chore: bump toolchain to v4.10.0-rc1

  kim-em

  committed
  2db33c7

  Copy full SHA for 2db33c7

• Merge pull request leanprover#201 from leanprover/bump_to_v4.9.0

  Show description for 1daa0de
  kim-em

  authored
  1daa0de

  Copy full SHA for 1daa0de

• chore: bump toolchain to v4.9.0

  kim-em

  committed
  3ff87d4

  Copy full SHA for 3ff87d4

Commits on Jun 18, 2024

• chore: remove leanink

  hargoniX

  committed
  1f51169

  Copy full SHA for 1f51169

Commits on Jun 17, 2024

• fix: missed .raw annotation for scripts

  hargoniX

  committed
  c5f9e71

  Copy full SHA for c5f9e71

Commits on Jun 16, 2024

• chore: update md4lean version and README that it compiles on Windows

  

  acmepjz

  authored and

  hargoniX

  committed
  50b0f4d

  Copy full SHA for 50b0f4d

Commits on Jun 11, 2024

• fix: arrows in foundational types

  hargoniX

  committed
  b61771a

  Copy full SHA for b61771a

• chore: delete trailing whitespace

  hargoniX

  committed
  36c8dc6

  Copy full SHA for 36c8dc6

• adapt changes to Option String

  

  acmepjz

  authored and

  hargoniX

  committed
  f50d2c1

  Copy full SHA for f50d2c1

• update dependency

  

  acmepjz

  authored and

  hargoniX

  committed
  175fbfd

  Copy full SHA for 175fbfd

• update rev

  

  acmepjz

  authored and

  hargoniX

  committed
  0a91d60

  Copy full SHA for 0a91d60

• switch the markdown library

  

  acmepjz

  authored and

  hargoniX

  committed
  feb9355

  Copy full SHA for feb9355

Commits on Jun 10, 2024

• one more

  

  eric-wieser

  authored and

  hargoniX

  committed
  ab34802

  Copy full SHA for ab34802

• do not escape javascript strings

  

  eric-wieser

  authored and

  hargoniX

  committed
  2f52da7

  Copy full SHA for 2f52da7

• stray paren

  

  eric-wieser

  authored and

  hargoniX

  committed
  b10c9fc

  Copy full SHA for b10c9fc

• fix unsafe roundtrip from html to string

  

  eric-wieser

  authored and

  hargoniX

  committed
  06984a6

  Copy full SHA for 06984a6

• fix: escape html correctly

  

  eric-wieser

  authored and

  hargoniX

  committed
  79033ec

  Copy full SHA for 79033ec

• Revert "fix: escape html correctly"

  Show description for edb9aa5
  hargoniX

  committed
  edb9aa5

  Copy full SHA for edb9aa5

• Revert "fix unsafe roundtrip from html to string"

  Show description for 7fd81dd
  hargoniX

  committed
  7fd81dd

  Copy full SHA for 7fd81dd

• Revert "stray paren"

  Show description for 13aa692
  hargoniX

  committed
  13aa692

  Copy full SHA for 13aa692

• stray paren

  

  eric-wieser

  authored and

  hargoniX

  committed
  34a8885

  Copy full SHA for 34a8885

• fix unsafe roundtrip from html to string

  

  eric-wieser

  authored and

  hargoniX

  committed
  817ad34

  Copy full SHA for 817ad34

Pagination

Previous

Next