nightly-2019-12-03

Changes since nightly-2019-11-23:

Full commit log

• 537f489 fix(library/check): do not assign metavariables in tactic.type_check (#86)

nightly-2019-11-23

Changes since nightly-2019-11-15:

Full commit log

• e1fe877 feat(tactic): make docstrings of imported modules accessible (#81)

nightly-2019-11-15

Changes since nightly-2019-11-13:

Full commit log

• 806a4c5 chore(changes): add #79 to changelog (#83)
• b30cb29 fix(type_context): destructive let in equation compiler (#79)
• 8256860 doc(match_tactic): fix innacurate docstring (#80)

nightly-2019-11-13

Changes since nightly-2019-11-12:

Full commit log

• 8c2470b Update changes.md

nightly-2019-11-09

Changes since nightly-2019-11-06:

Full commit log

• ec7f75d fix(docs): Update github issue hyperlinks (#75)
• bc5f364 feat(tactic/type_context_old): Expose type_context_old as a monad. (#69)
• 354dead feat(olean): store module documentation in .olean files (#54)

nightly-2019-11-06

Changes since nightly-2019-10-01:

Full commit log

• be8d017 chore(build): Fix Fedora build (#78)

nightly-2019-10-01

Changes since nightly-2019-09-13:

Full commit log

• 6ed0977 fix(build): fix emscripten build in travis (#68)

nightly-2019-09-13

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)

nightly-2019-08-30

Changes since nightly-2019-07-26:

Full commit log

• ab342cf fix(CMakeLists.txt): GCC 9.1.0 miscompiles certain if statements #63

nightly-2019-07-26

Changes since nightly-2019-07-15:

Full commit log

• 014fd37 fix(vm/vm_environment): remove debug code