coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Ajout d'une fonction Lexer.remove_keyword pour libérer un keyword dans	aspiwack	2009-05-27
*	- Cleaning (unification of ML names, removal of obsolete code,	herbelin	2009-04-27
*	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin	2005-12-26
*	Nouvelle en-tête	herbelin	2004-07-16
*	Branchement sur Util.loc et abstraction vis a vis de dummy_loc	herbelin	2004-07-16
*	Ajout entree pour exporter les commentaires en mode -xml	herbelin	2004-03-26
*	reparation de qqs bugs du traducteur	barras	2004-01-26
*	Protection table des locations lors de Load (pour coqdoc)	herbelin	2004-01-22
*	Export information des references et location de notations pour coqdoc	herbelin	2004-01-21
*	traducteur: affiche les commentaires a l'interieur des commandes	barras	2003-09-22
*	Le lexeur et Notation savent reconnaître si un unicode des blocs	herbelin	2003-02-27
*	Ajout du traducteur	desmettr	2003-02-05
*	entetes	filliatr	2001-03-15
*	backtrack sur le lexeur de la V6	filliatr	2001-01-30
*	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr	2000-12-12
*	portage Omega (code seulement)	filliatr	2000-04-28
*	portage en ocaml / camlp4 3.00	filliatr	2000-04-28
*	erreurs lexicales	filliatr	1999-12-06
*	mise au point lexer / debugage PP	filliatr	1999-12-05
*	modules profile, Coqinit et Coqtop (=main)	filliatr	1999-12-03
*	module Egrammar	filliatr	1999-12-01
*	module Extend	filliatr	1999-11-26
*	modules Ast et Pcoq	filliatr	1999-09-08
*	minicoq: pretty-print applications; ambiguite grammaire supprimee; Ind, Const...	filliatr	1999-09-08
*	mise en place grammaire minicoq	filliatr	1999-09-07