Skip to content

v0.0.222-pre

Pre-release
Pre-release

Choose a tag to compare

View all tags
@github-actions github-actions released this 19 Jan 10:51
· 83 commits to master since this release
v0.0.222-pre
e7c6dfc
  • Add support for nested Lean projects (#699)
  • Remove backtick name TextMate highlighting to fix false-positives (#692)
  • Change \<n abbreviation to \notlt (#685, author: @kckennylau)

Contributors

kckennylau
Assets 3
Loading