coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
...
*	Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5	ppedrot	2012-09-10
\| \| \| \| \| \|	anymore. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15792 85f007b7-540e-0410-9357-904b9bb8a0f7
*	reparation du make depend et du .depend	letouzey	2001-12-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2334 85f007b7-540e-0410-9357-904b9bb8a0f7
*	compat ocaml 3.03	filliatr	2001-12-13
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2291 85f007b7-540e-0410-9357-904b9bb8a0f7
*	entetes	filliatr	2001-03-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1469 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Use UTF-8 as default encoding for computing length of strings in pretty	miquel	2000-10-19
\| \| \| \| \| \| \| \|	print boxes. Full compatibility with pure ascii, an quasi full compatibility with latin1 encoding. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@730 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Initial revision	filliatr	1999-08-16
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2 85f007b7-540e-0410-9357-904b9bb8a0f7