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
• Richpp
• Serialize
• Xml_lexer
• Xml_parser
• Xml_printer
• Xmlprotocol