package coqide-server
coqide-server 8.17.0
Libraries
This package provides the following libraries (via ocamlobjinfo):
core
Documentation:
protocol
Documentation:
Interface
* Declarative part of the interface of CoqIDE calls to CoqRichpp
This module offers semi-structured pretty-printing.Serialize
Xml_printer
Xmlprotocol
* Applicative part of the interface of CoqIDE calls to CoqXml_lexer
Xml_parser
Xml Light Parser