coqide-server index

Library coqide-server.core

The entry point of this library is the module: Document.

Library coqide-server.protocol

This library exposes the following toplevel modules:

• Interface * Declarative part of the interface of RocqIDE calls to Rocq
• Richpp This module offers semi-structured pretty-printing.
• Serialize
• Xml_lexer
• Xml_parser Xml Light Parser
• Xml_printer
• Xmlprotocol * Applicative part of the interface of RocqIDE calls to Rocq