Skip to content

nightly-2019-09-13

Pre-release
Pre-release
Compare
Choose a tag to compare
@leanprover-mathlib-bot leanprover-mathlib-bot released this 13 Sep 20:00
· 2 commits to master since this release

Changes since nightly-2019-08-30:

Full commit log

  • ec76117 feat(parser/inductive_cmd): support docstrings for constructors (#61)
  • 0ff81f2 chore(build): migrate to dist xenial (#59)