package coq-lsp

  1. Overview
  2. Docs
Language Server Protocol native server for Coq

Install

Dune Dependency

github.com Readme Changelog LGPL-2.1-or-later License Edit opam file Versions (16)

Authors

  1. E
    Emilio Jesús Gallego Arias <e@x80.org>

Maintainers

  1. E
    e@x80.org

Sources

coq-lsp-0.1.0.tbz
sha256=d2e95a517ff35f59150c4f8399dc23899923a9cc93fce190efaa05422d3bbcf5
sha512=5593afa6fef241a63cf685fe6e4af42482884aa9078d080503f1aa7987da5f96cc95ddb48b1393ac1bd240e3510f4f7a61fe83882c0f5f8a38c0279eed4a0a11

CHANGES.md.html

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)