coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Reduce the amount of "Coq <" prompts generated by coq_tex. (Partial fix for ↵	Guillaume Melquiond	2014-04-28
\| \| \| \|	bug #2964)
*	Prevent coq_tex from generating curly quotes. (Partial fix for bug #2964)	Guillaume Melquiond	2014-04-28
\|
*	Getting rid of the use of deprecated elements (from the OCaml standard library).	xclerc	2013-10-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16882 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Restrict (try...with...) to avoid catching critical exn (part 13)	letouzey	2013-03-13
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16290 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Allow running coq-tex in win32 (fix #2921)	letouzey	2012-10-29
	Yes, it seems that < and > and even 2>&1 are legal under windows :-) Btw, the only function using streams has been rewritten, so coq_tex is now a standard .ml file, not a .ml4 anymore (beware during upgrade!) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15938 85f007b7-540e-0410-9357-904b9bb8a0f7