coq - the Coq proof assistant

	Commit message (Expand)	Author	Age
*	Use the Hook module here and there.	ppedrot	2013-05-12
*	Egramcoq+Lexer : no need for an init_function	letouzey	2013-04-23
*	Moved Compat to parsing. This permits to break the dependency of the	ppedrot	2012-10-04
*	Updating headers.	herbelin	2012-08-08
*	Added an indirection with respect to Loc in Compat. As many [open Compat]	ppedrot	2012-06-22
*	remove many excessive open Util & Errors in mli's	letouzey	2012-05-29
*	Noise for nothing	pboutill	2012-03-02
*	Be a bit less aggressive in declaring idents as keywords in notations	herbelin	2011-08-08
*	Updated all headers for 8.3 and trunk	herbelin	2010-07-24
*	New script dev/tools/change-header to automatically update Coq files headers.	herbelin	2010-06-22
*	Add (almost) compatibility with camlp4, without breaking support for camlp5	letouzey	2010-05-19
*	Nicer representation of tokens, more independant of camlp*	letouzey	2010-05-19
*	Remove the svn-specific $Id$ annotations	letouzey	2010-04-29
*	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill	2010-04-29
*	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