coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Xml_parser: detect immediate EOF + disable check_eof by default	letouzey	2012-11-12
\| \| \| \| \| \| \|	Without this immediate EOF detection, coqtop -ideslave loops when its input channel is closed. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15959 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Now CoqIDE separates answer and messages. This should hopefully	ppedrot	2012-06-29
\| \| \| \| \| \|	be backward compatible... git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15501 85f007b7-540e-0410-9357-904b9bb8a0f7
*	lib directory is cut in 2 cma.	pboutill	2012-04-12
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	- Clib that does not depend on camlpX and is made to be shared by all coq tools/scripts/... - Lib that is Coqtop specific As a side effect for the build system : - Coq_config is in Clib and does not appears in makefiles - only the BEST version of coqc and coqmktop is made - ocamlbuild build system fails latter but is still broken (ocamldebug finds automatically Unix but not Str. I've probably done something wrong here.) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15144 85f007b7-540e-0410-9357-904b9bb8a0f7
*	make mli-doc fix	pboutill	2012-01-16
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14905 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Cleaning up XML parsing	ppedrot	2011-11-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14729 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fixed the XML parser CDATA handling (and changed the EOL convention of these ↵	ppedrot	2011-11-24
\| \| \| \| \| \|	files which where Windows-like, whoever knows why). git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14726 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Moving XML handling to lib directory	ppedrot	2011-11-24
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14723 85f007b7-540e-0410-9357-904b9bb8a0f7