coq-lsp 0.1.0: Memory
- 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)
coq-lsp 0.0.0.1
- Bootstrap from lambdapi-lsp server (@ejgallego)