coq - the Coq proof assistant

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