0.1.0
·
1420 commits
to main
since this release
CHANGES:
- Location-aware cache for incremental Coq interpretation (@ejgallego)
- Smart, structure-aware error recovery (@ejgallego)
- Configure flags reading _CoqProject file (@artagnon, #3)
- Interruption support (@ejgallego , @Alizter, #27, #32, #34)
- Markdown support (@ejgallego, #62)
- Goal display (@ejgallego @corwin-of-amber, #69)
- User-side configuration (@ejgallego, #67)
- Allow to configure before/after goal display (@ejgallego, #78)
- Allow requests to interrupt checking (@ejgallego, #76)
Contributors
artagnon, corwin-of-amber, and 2 other contributors