coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Elimination du '	delahaye	2000-11-28
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1000 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Remettre une section dans fast_integer pour contourner un bug de définition ↵	herbelin	2000-11-27
\| \| \| \| \| \|	locale git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@990 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Nettoyage + prise en compte noms longs	herbelin	2000-11-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@863 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Suppression de la section fast_integer qui cachait le nom du module éponyme	herbelin	2000-11-20
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@862 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Y avait des '.' non suivis d'un séparateur	herbelin	2000-11-11
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@847 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Passage command -> constr	herbelin	2000-10-27
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@779 85f007b7-540e-0410-9357-904b9bb8a0f7
*	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
*	Parsing des motifs de Syntax avec la grammaire associée à l'univers de la ↵	herbelin	2000-10-18
\| \| \| \| \| \|	déclaration (constr, tactic ou vernac) au lieu de ast (comme cela a été fait pour Grammar) git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@721 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Finalement, encore un Simpl inutile	herbelin	2000-10-10
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@676 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Changement dans la stratégie de réduction du Fix par Simpl	herbelin	2000-10-06
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@669 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout du langage de tactiques	delahaye	2000-05-03
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@401 85f007b7-540e-0410-9357-904b9bb8a0f7
*	portage Omega (mais toujours pas Zpower et Zlogarithm)	filliatr	2000-05-02
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@400 85f007b7-540e-0410-9357-904b9bb8a0f7
*	suppression doublon	filliatr	2000-04-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@375 85f007b7-540e-0410-9357-904b9bb8a0f7
*	erreurs lexicales dans les patterns (manquait des espaces)	filliatr	2000-03-30
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@359 85f007b7-540e-0410-9357-904b9bb8a0f7
*	- bug make_module_marker (plus de # et de .obj maintenant)	filliatr	2000-03-21
\| \| \| \| \| \| \| \|	- portage (partiel) de Zarith - bug discrEverywhere (manquait un "fun gls ->") git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@353 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Retour sur les anciens noms	herbelin	2000-03-21
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@348 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Zarith	filliatr	2000-03-18
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@326 85f007b7-540e-0410-9357-904b9bb8a0f7