coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	g_natsyntax et g_zsyntax maintenant toujours linkes	filliatr	2000-10-27
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@773 85f007b7-540e-0410-9357-904b9bb8a0f7
*	contrib linkees en natif	filliatr	2000-05-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@431 85f007b7-540e-0410-9357-904b9bb8a0f7
*	compilation bytecode / native :	filliatr	2000-05-03
\| \| \| \| \| \| \| \| \| \|	- script de configuration - Makefile - simplification de coqmktop - option -opt de coqc git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@413 85f007b7-540e-0410-9357-904b9bb8a0f7
*	portage en ocaml / camlp4 3.00	filliatr	2000-04-28
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@379 85f007b7-540e-0410-9357-904b9bb8a0f7
*	link Dhyp et Auto	filliatr	1999-12-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@221 85f007b7-540e-0410-9357-904b9bb8a0f7
*	compilation native	filliatr	1999-12-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@201 85f007b7-540e-0410-9357-904b9bb8a0f7
*	coqmktop	filliatr	1999-12-03
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@196 85f007b7-540e-0410-9357-904b9bb8a0f7