coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Nettoyage suite à la détection par défaut des variables inutilisées par ↵	herbelin	2005-11-08
\| \| \| \| \| \|	ocaml 3.09 git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7538 85f007b7-540e-0410-9357-904b9bb8a0f7
*	pas besoin de List.length pour savoir si une liste est vide	letouzey	2005-08-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7306 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Nouvelle en-tête	herbelin	2004-07-16
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5920 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Bug	herbelin	2001-08-10
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1892 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Prise en compte des strings et des flottants dans les statistiques de ↵	herbelin	2001-08-10
\| \| \| \| \| \|	tailles mémoire git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1890 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Nouveau profiler compatible avec ocaml >= 3.01	herbelin	2001-08-05
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1871 85f007b7-540e-0410-9357-904b9bb8a0f7
*	MAJ vis à vis de ocaml 3.01	herbelin	2001-08-01
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1866 85f007b7-540e-0410-9357-904b9bb8a0f7
*	amelioration de la consommation memoire de la conversion en eta-expansant	barras	2001-03-23
\| \| \| \| \| \| \|	les definitions. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1483 85f007b7-540e-0410-9357-904b9bb8a0f7
*	entetes	filliatr	2001-03-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1469 85f007b7-540e-0410-9357-904b9bb8a0f7
*	passage ocaml 3.01	filliatr	2001-03-13
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1460 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Bugs encore	herbelin	2001-01-19
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1256 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Raffinements	herbelin	2001-01-15
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1251 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Petit bug encore	herbelin	2001-01-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1250 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Bien sûr: bugs sur précédent commit; améliorations	herbelin	2001-01-14
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1249 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Prise en compte de l'allocation mémoire et affichage des résultats net du ↵	herbelin	2001-01-14
\| \| \| \| \| \|	surcoût de gestion du profilage git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1248 85f007b7-540e-0410-9357-904b9bb8a0f7
*	modules profile, Coqinit et Coqtop (=main)	filliatr	1999-12-03
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@194 85f007b7-540e-0410-9357-904b9bb8a0f7