coq - The formal proof system

Age	Commit message (Expand)	Author
2016-05-09	Rename Lexer -> CLexer.	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2016-01-15	Hooks for a third-party XML plugin. Contributed by Claudio Sacerdoti Coen.	Maxime Dénès
2015-01-12	Update headers.	Maxime Dénès
2014-09-08	Removing dead code relative to the XML plugin.	Pierre-Marie Pédrot
2014-03-05	Remove many superfluous 'open' indicated by ocamlc -w +33	Pierre Letouzey
2013-05-12	Use the Hook module here and there.	ppedrot
2013-04-23	Egramcoq+Lexer : no need for an init_function	letouzey
2012-10-04	Moved Compat to parsing. This permits to break the dependency of the	ppedrot
2012-08-08	Updating headers.	herbelin
2012-06-22	Added an indirection with respect to Loc in Compat. As many [open Compat]	ppedrot
2012-05-29	remove many excessive open Util & Errors in mli's	letouzey
2012-03-02	Noise for nothing	pboutill
2011-08-08	Be a bit less aggressive in declaring idents as keywords in notations	herbelin
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-06-22	New script dev/tools/change-header to automatically update Coq files headers.	herbelin
2010-05-19	Add (almost) compatibility with camlp4, without breaking support for camlp5	letouzey
2010-05-19	Nicer representation of tokens, more independant of camlp*	letouzey
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-04-29	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill
2009-05-27	Ajout d'une fonction Lexer.remove_keyword pour libérer un keyword dans	aspiwack
2009-04-27	- Cleaning (unification of ML names, removal of obsolete code,	herbelin
2005-12-26	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-07-16	Branchement sur Util.loc et abstraction vis a vis de dummy_loc	herbelin
2004-03-26	Ajout entree pour exporter les commentaires en mode -xml	herbelin
2004-01-26	reparation de qqs bugs du traducteur	barras
2004-01-22	Protection table des locations lors de Load (pour coqdoc)	herbelin
2004-01-21	Export information des references et location de notations pour coqdoc	herbelin
2003-09-22	traducteur: affiche les commentaires a l'interieur des commandes	barras
2003-02-27	Le lexeur et Notation savent reconnaître si un unicode des blocs	herbelin
2003-02-05	Ajout du traducteur	desmettr
2001-03-15	entetes	filliatr
2001-01-30	backtrack sur le lexeur de la V6	filliatr
2000-12-12	syntaxe AST Inversion + commentaires ocamlweb autour de $	filliatr
2000-04-28	portage Omega (code seulement)	filliatr
2000-04-28	portage en ocaml / camlp4 3.00	filliatr
1999-12-06	erreurs lexicales	filliatr
1999-12-05	mise au point lexer / debugage PP	filliatr
1999-12-03	modules profile, Coqinit et Coqtop (=main)	filliatr
1999-12-01	module Egrammar	filliatr
1999-11-26	module Extend	filliatr
1999-09-08	modules Ast et Pcoq	filliatr
1999-09-08	minicoq: pretty-print applications; ambiguite grammaire supprimee; Ind, Const...	filliatr
1999-09-07	mise en place grammaire minicoq	filliatr