2 \defgroup xmllang xmllang
8 CPROVER has optional XML output for results and there is an XML format
9 for goto-programs. It is used to interface to various IDEs. The
10 `xmllang/` directory contains the parser and helper functions for
13 Based on grammar/tokenizer from [http://www.w3.org/XML/9707/xml-in-c.tar.gz](http://www.w3.org/XML/9707/xml-in-c.tar.gz)
15 [http://www.w3.org/XML/9707/XML-in-C](http://www.w3.org/XML/9707/XML-in-C).