aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/xml_parser.mli
Commit message (Expand)AuthorAge
* Fix some typos.Gravatar Guillaume Melquiond2015-10-14
* Fix some typos.Gravatar Guillaume Melquiond2015-10-13
* lib/Xml_parser.parse: Publish and document new interface.Gravatar Regis-Gianas2014-11-04
* Xml_datatype.mli ships the xml typeGravatar gareuselesinge2013-05-09
* Xml_parser: detect immediate EOF + disable check_eof by defaultGravatar letouzey2012-11-12
* Now CoqIDE separates answer and messages. This should hopefullyGravatar ppedrot2012-06-29
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* make mli-doc fixGravatar pboutill2012-01-16
* Cleaning up XML parsingGravatar ppedrot2011-11-25
* Fixed the XML parser CDATA handling (and changed the EOL convention of these ...Gravatar ppedrot2011-11-24
* Moving XML handling to lib directoryGravatar ppedrot2011-11-24