coq - The formal proof system

Age	Commit message (Collapse)	Author
2001-03-15	entetes	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1469 85f007b7-540e-0410-9357-904b9bb8a0f7
2001-01-30	backtrack sur le lexeur de la V6	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1289 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-12-12	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1090 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-04-28	portage Omega (code seulement)	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@381 85f007b7-540e-0410-9357-904b9bb8a0f7
2000-04-28	portage en ocaml / camlp4 3.00	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@379 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-12-06	erreurs lexicales	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@211 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-12-05	mise au point lexer / debugage PP	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@205 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-12-03	modules profile, Coqinit et Coqtop (=main)	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@194 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-12-01	module Egrammar	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@176 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-11-26	module Extend	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@142 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08	modules Ast et Pcoq	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@53 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-08	minicoq: pretty-print applications; ambiguite grammaire supprimee; Ind, ↵	filliatr
	Const et Construct mots cles git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@51 85f007b7-540e-0410-9357-904b9bb8a0f7
1999-09-07	mise en place grammaire minicoq	filliatr
	git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@40 85f007b7-540e-0410-9357-904b9bb8a0f7