Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Xml_datatype.mli ships the xml type | 2013-05-09 | |
* | Xml_parser: detect immediate EOF + disable check_eof by default | 2012-11-12 | |
* | Now CoqIDE separates answer and messages. This should hopefully | 2012-06-29 | |
* | lib directory is cut in 2 cma. | 2012-04-12 | |
* | make mli-doc fix | 2012-01-16 | |
* | Cleaning up XML parsing | 2011-11-25 | |
* | Fixed the XML parser CDATA handling (and changed the EOL convention of these ... | 2011-11-24 | |
* | Moving XML handling to lib directory | 2011-11-24 |