coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	* empty log message *	barras	2003-12-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8421 85f007b7-540e-0410-9357-904b9bb8a0f7
*	* empty log message *	barras	2003-12-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8412 85f007b7-540e-0410-9357-904b9bb8a0f7
*	doc de ltac faite	barras	2003-12-17
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8405 85f007b7-540e-0410-9357-904b9bb8a0f7
*	doc du traducteur + premiere mise a jour du refman	barras	2003-12-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8397 85f007b7-540e-0410-9357-904b9bb8a0f7
*	idtac parle	narboux	2003-12-01
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8370 85f007b7-540e-0410-9357-904b9bb8a0f7
*	passage V8	filliatr	2003-09-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8342 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Changement s�mantique Match term	herbelin	2003-01-22
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8310 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Utilisation de 'Recursive' pour les tactiques r�cursives	herbelin	2003-01-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8309 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ Ltac	herbelin	2003-01-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8305 85f007b7-540e-0410-9357-904b9bb8a0f7
*	problemes avec le rendu html des tabbing dans la doc de Ltac	barras	2001-12-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8258 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Orthographe	herbelin	2001-10-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8241 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Mise-a-jour de la biblio	delahaye	2001-04-25
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8206 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Revision Tauto, AutoRewrite + Ajout de Ltac	delahaye	2001-04-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8172 85f007b7-540e-0410-9357-904b9bb8a0f7
*	mise a jour V7	filliatr	2001-04-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8169 85f007b7-540e-0410-9357-904b9bb8a0f7
*	ajout chapitre langage de tactiques; suppression chapitre obsoletes	filliatr	2001-04-05
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8163 85f007b7-540e-0410-9357-904b9bb8a0f7