coqide-server 8.17.0

Libraries

This package provides the following libraries (via ocamlobjinfo):

core

Documentation:

• Document

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