coq - The formal proof system

Age	Commit message (Expand)	Author
2016-06-02	Move ide serialization libraries from lib/ to ide/	Emilio Jesus Gallego Arias
2014-11-04	lib/Xml_parser.parse: Make canonicalization optional. (By default, it is appl...	Regis-Gianas
2014-11-04	lib/Xml_parser: Cosmetics.	Regis-Gianas
2014-11-04	lib/Xml_parser: Cosmetics.	Regis-Gianas
2014-11-04	Xml_datatype.gxml: New type for semi-structured documents.	Regis-Gianas
2013-05-09	Xml_datatype.mli ships the xml type	gareuselesinge
2013-03-13	Restrict (try...with...) to avoid catching critical exn (part 8)	letouzey
2013-01-28	Actually adding backtrace handling.	ppedrot
2012-11-12	Xml_parser: detect immediate EOF + disable check_eof by default	letouzey
2012-10-02	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey
2012-06-29	Now CoqIDE separates answer and messages. This should hopefully	ppedrot
2012-04-12	lib directory is cut in 2 cma.	pboutill
2011-11-25	Cleaning up XML parsing	ppedrot
2011-11-24	Fixed the XML parser CDATA handling (and changed the EOL convention of these ...	ppedrot
2011-11-24	Moving XML handling to lib directory	ppedrot