\ingroup module_hidden \defgroup xmllang xmllang
\author Martin Brain
CPROVER has optional XML output for results and there is an XML format
for goto-programs. It is used to interface to various IDEs. The
xmllang/ directory contains the parser and helper functions for
handling this format.
Based on grammar/tokenizer from http://www.w3.org/XML/9707/xml-in-c.tar.gz also see http://www.w3.org/XML/9707/XML-in-C.