coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	MAJ	herbelin	2001-02-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1384 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2001-02-09
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1364 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	mohring	2001-02-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1316 85f007b7-540e-0410-9357-904b9bb8a0f7
*	bug Variable + Record	filliatr	2001-02-01
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1309 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2001-01-30
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1295 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2001-01-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1275 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout de commentaire coqweb	mohring	2001-01-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1252 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise a jour Rbase	mohring	2001-01-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1241 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2000-12-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1227 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2000-12-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1225 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2000-12-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1223 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2000-12-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1217 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2000-12-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1207 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2000-12-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1180 85f007b7-540e-0410-9357-904b9bb8a0f7
*	DEMOS passe et MUTUAL-EXCLUSION aussi modulo Realizer	delahaye	2000-12-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1157 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Correction associativite de Repeat/Orelse	delahaye	2000-12-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1151 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2000-12-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1143 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise a jour	mohring	2000-12-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1139 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise a jour	mohring	2000-12-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1138 85f007b7-540e-0410-9357-904b9bb8a0f7
*	mise a jour	filliatr	2000-12-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1126 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2000-12-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1124 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise a jour	mohring	2000-12-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1118 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2000-12-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1115 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise a jour	mohring	2000-12-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1105 85f007b7-540e-0410-9357-904b9bb8a0f7
*	LetIn dans Simpl	mohring	2000-12-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1104 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2000-12-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1100 85f007b7-540e-0410-9357-904b9bb8a0f7
*	mise a jour	filliatr	2000-12-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1091 85f007b7-540e-0410-9357-904b9bb8a0f7
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1090 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	mohring	2000-12-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1089 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Hint Unfold Local + commentaires	mohring	2000-12-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1088 85f007b7-540e-0410-9357-904b9bb8a0f7
*	numarg -> pure_numarg a poursuivre	mohring	2000-12-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1084 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	sacerdot	2000-12-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1079 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	mohring	2000-12-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1073 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	mohring	2000-12-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1062 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	mohring	2000-12-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1061 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	mohring	2000-12-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1060 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	mohring	2000-12-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1059 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Pour la phase debugage	mohring	2000-12-06
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1058 85f007b7-540e-0410-9357-904b9bb8a0f7