aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/xml_parser.ml
Commit message (Expand)AuthorAge
* Xml_datatype.mli ships the xml typeGravatar gareuselesinge2013-05-09
* Restrict (try...with...) to avoid catching critical exn (part 8)Gravatar letouzey2013-03-13
* Actually adding backtrace handling.Gravatar ppedrot2013-01-28
* Xml_parser: detect immediate EOF + disable check_eof by defaultGravatar letouzey2012-11-12
* Remove some more "open" and dead code thanks to OCaml4 warningsGravatar letouzey2012-10-02
* Now CoqIDE separates answer and messages. This should hopefullyGravatar ppedrot2012-06-29
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* 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