coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	MAJ V7.1	herbelin	2001-09-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8230 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Orthographe	herbelin	2001-09-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8215 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise a jour	mohring	2001-04-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8205 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout de IntMap	mohring	2001-04-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8204 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise a jour V7	mohring	2001-04-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8202 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fourier, Reals,...	mayero	2001-04-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8201 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout de la partie extraction, passage du speller	mohring	2001-04-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8200 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Fourier,...	mayero	2001-04-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8199 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout de Field	delahaye	2001-04-23
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8198 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Am�liorations	herbelin	2000-12-27
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8160 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ	herbelin	2000-12-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8159 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Langage de tactiques, AutoRewrite, Tauto-Intuition + autres modifs	delahaye	2000-12-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8158 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ apr�s lecture par Christine; r��criture de la section 'Names'	herbelin	2000-12-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8157 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Corrections	herbelin	2000-12-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8156 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Version lisible	herbelin	2000-12-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8154 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ Search	herbelin	2000-12-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8153 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Initial revision	filliatr	2000-12-12
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8143 85f007b7-540e-0410-9357-904b9bb8a0f7