Open
Description
Issue to coordinate the TODO for jsCoq 2.0
Alpha / Preview release
- PR [jscoq] Migration to Flèche as document checking backend. #275 to
v8.17branch, make legacy / support jsCoq branchv8.17+jscoq1 - PR [frontend] Use coq-lsp view which in turn is jsCoq view converted to React #336 , new infoview
- Styling of the view / themes?
- PR [ui] Support Markdown preview and live editor hot-swap #338 , editor hot swap, markdown view
-
CoqDocumentimplementation - Test CodeMirror 5 with multiple documents
- fix CI / Docker
- Unify backends / package managers ([wacoq] Make some backend calls to go thru the interpreter #301 )
- Remove hacks for WASM and URI parsing
- Interrupt support / queue optimization
- Open of .zip project files (.v only)
- Conversion of
coqdocfiles to single snippet - Cli rework
- What to do with the CLI (cli / server division of work)
Beta
- Completion / hover
- Fix Contextual help addon
- Fix Company Coq mode
- Fix Collab
- Save / Load support for Markdown
- Full project support
- Fix splash screen and other niceties
Final
-
esbuild0.18 - markdown preview / edit switch
- Dune rules for
coq-pkg - Fully restore CLI as an LSP client
- Fully restore the SDK