List view

scheduler

Document ManagerCf https://github.com/coq-community/vscoq/projects/1Cf https://github.com/coq-community/vscoq/projects/1

Status: Closed (completed).

#207 In rocq-prover/vsrocq;

· by gares was closed on Aug 7, 2023

Fix nested proofs support

Status: Closed (completed).

#362 In rocq-prover/vsrocq;

· by maximedenes was closed on Aug 7, 2023

try to share LSP OCaml datatypes with ocaml-lsp

Status: Closed (completed).

#474 In rocq-prover/vsrocq;

· by gares was closed on Aug 9, 2023

Restore syntax highlighting of proof view

Status: Closed (completed).

#549 In rocq-prover/vsrocq;

· by maximedenes was closed on Aug 7, 2023