coqide-server 8.17.0

Libraries

This package provides the following libraries (via ocamlobjinfo):

coqide-server.core

Documentation:

• Document

coqide-server.protocol

Documentation:

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