Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Xml_datatype.mli ships the xml type | 2013-05-09 | |
* | Restrict (try...with...) to avoid catching critical exn (part 8) | 2013-03-13 | |
* | Actually adding backtrace handling. | 2013-01-28 | |
* | Xml_parser: detect immediate EOF + disable check_eof by default | 2012-11-12 | |
* | Remove some more "open" and dead code thanks to OCaml4 warnings | 2012-10-02 | |
* | Now CoqIDE separates answer and messages. This should hopefully | 2012-06-29 | |
* | lib directory is cut in 2 cma. | 2012-04-12 | |
* | 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 |