Skip to content

nightly-2021-07-13

Pre-release
Pre-release
Compare
Choose a tag to compare
@leodemoura leodemoura released this 13 Jul 00:50
· 1 commit to main since this release
nightly-2021-07-13
2c3067e

Changes since nightly-2021-07-11:

Full commit log

  • 2c3067e doc: bundle updated lean4.py Pygments file and lstlean.tex
  • 7dc3e72 chore: update stage0
  • 521ed11 chore: move parseTagged
Assets 5
Loading