coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	* empty log message *	desmettr	2002-05-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2706 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	herbelin	2002-05-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2705 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ V7.3	herbelin	2002-05-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2689 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Soleil revenu	herbelin	2002-01-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2393 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Absence de soleil	herbelin	2002-01-10
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2386 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Relecture	herbelin	2002-01-07
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2383 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2001-12-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2328 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ultime Ultime	herbelin	2001-09-27
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2084 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ultime MAJ	herbelin	2001-09-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2079 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Qqes oublis	herbelin	2001-09-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2068 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise en page	herbelin	2001-09-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2063 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Orthographe ?	herbelin	2001-09-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2060 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ V7.1	herbelin	2001-09-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2054 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise a jour V7	mohring	2001-04-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1696 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Modifs sur le langage de tactiques et pas de "ë" dans Micaela	delahaye	2000-12-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1212 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-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1195 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Oublis	herbelin	2000-12-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1192 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2000-12-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1186 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Re-MAJ	herbelin	2000-12-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1184 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2000-12-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1183 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	herbelin	2000-12-16
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1135 85f007b7-540e-0410-9357-904b9bb8a0f7