coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	export open_trapping_failure pour contrib/extraction	filliatr	2001-02-26
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1401 85f007b7-540e-0410-9357-904b9bb8a0f7
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1090 85f007b7-540e-0410-9357-904b9bb8a0f7
*	load_path_entry structure simplified; field relative_subdir renamed to coq_dirpa	sacerdot	2000-11-29
\| \| \| \| \| \| \|	th git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1023 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Ajout d'un alias à add_path, rec_add_path et all_subdirs pour associer un ↵	herbelin	2000-11-29
\| \| \| \| \| \|	chemin Unix à un chemin Coq git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1013 85f007b7-540e-0410-9357-904b9bb8a0f7
*	nouveau load path	filliatr	2000-11-08
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@828 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Uniformisation AddPath, Print LoadPath, ... en Add Path, Print Path	herbelin	2000-09-10
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@588 85f007b7-540e-0410-9357-904b9bb8a0f7
*	modules et coqc	filliatr	1999-12-12
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@239 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
*	poursuite de Vernacentries	filliatr	1999-12-01
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@178 85f007b7-540e-0410-9357-904b9bb8a0f7
*	Vernacinterp et Vernacentries (partiellement)	filliatr	1999-11-24
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@133 85f007b7-540e-0410-9357-904b9bb8a0f7
*	ajout de divers fonctions dans lib/	filliatr	1999-09-28
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@82 85f007b7-540e-0410-9357-904b9bb8a0f7
*	module Library	filliatr	1999-09-18
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@74 85f007b7-540e-0410-9357-904b9bb8a0f7
*	modules System, Lib et States	filliatr	1999-09-10
\| \| \| \|	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@71 85f007b7-540e-0410-9357-904b9bb8a0f7
*	time stamps dans System	filliatr	1999-09-08
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@54 85f007b7-540e-0410-9357-904b9bb8a0f7