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