coq - The formal proof system

Age	Commit message (Expand)	Author
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	Fixing Camlp4 compilation (hopefully, preprocessing fixpoint reached...)	ppedrot
2012-06-01	Getting rid of Pp.msgnl and Pp.message.	ppedrot
2011-01-25	Fix compilation with camlp5 (Closes: #2487)	glondu
2010-12-25	Avoid "open {Pcoq,Extrawit}" clauses in expansion of EXTEND commands	glondu
2010-12-06	Use !Pp_control.std_ft for printing grammars	glondu
2010-11-18	adapt slighlty r13642 to support both camlp4 and camlp5-5 and camlp5-6	letouzey
2010-11-16	Support for camlp5 6.02.0 (Closes: #2432)	glondu
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-06-01	restore handling of lexer errors	letouzey
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-05-19	static (and shared) camlp4use instead of per-file declaration	letouzey
2010-05-19	Discontinue support for ocaml 3.09.*	letouzey
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-04-27	- Cleaning (unification of ML names, removal of obsolete code,	herbelin
2007-09-15	* Adding compability with ocaml 3.10 + camlp5 (rework of	letouzey
2007-07-13	New bootstrapping, improved, Makefile system	corbinea
2005-05-17	Extension de Tactic Notation pour permettre d'tendre et de faire rffrence aux...	herbelin
2004-07-29	Protection unloc	herbelin
2004-07-27	Utilisation de la variable camlp4 OCAML_308 plutôt que d'en reconstruire un...	herbelin
2004-07-17	Backtrack sur l'utilisation de pa_macro car n'existait pas en 3.06	herbelin
2004-07-16	Mise en place mécanisme de compatibilité ocaml 3.08	herbelin