coq - The formal proof system

Age	Commit message (Expand)	Author
2012-05-29	place all files specific to camlp4 syntax extensions in grammar/	letouzey
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-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-04-29	Move from ocamlweb to ocamdoc to generate mli documentation	pboutill
2009-04-27	- Cleaning (unification of ML names, removal of obsolete code,	herbelin
2008-08-04	Évolutions diverses et variées.	herbelin
2006-10-24	Hack peu élégant pour permettre de parser des listes avec séparateurs dans	herbelin
2005-12-26	Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis...	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2003-11-13	factorisation et generalisation des clauses	barras
2002-05-29	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin