package coq-lsp

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)