coq - The formal proof system

Age	Commit message (Expand)	Author
2009-03-20	Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...	letouzey
2008-12-16	Extraction Blacklist : a new command for avoiding conflicts with existing files	letouzey
2008-11-22	Fixed bug in VernacExtend printing + missing vernacular printing rules +	herbelin
2008-11-06	Cosmetic: no more whitespace at end of lines in extraction files	letouzey
2007-10-17	Major reorganisation of the extraction "backend".	letouzey
2005-12-28	Remplacement Pp.qs par Pptactic.qsnew	herbelin
2005-12-26	Renommage des Ppnew en Pp (et déplacement dans parsing); renommage des G_*...	herbelin
2005-12-26	Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...	herbelin
2005-12-21	Ajout printer pr_lconstr aux extensions de syntaxe pour les arguments de tact...	herbelin
2004-07-16	Nouvelle en-tête	herbelin
2004-03-13	Mise en place temporaire d'un afficheur de 'language' pour le traducteur	herbelin
2003-11-12	Extraction Module M devient simplement Extraction M	letouzey
2003-11-09	factorisation de (recursive) library	letouzey
2003-10-10	changement nouvelle syntaxe (pt fixes)	barras
2003-08-14	Traduction mlnames	herbelin
2003-04-16	BIG MAJ Extraction:	letouzey
2003-03-25	Extract Constant marche avec les axiomes schémas de types	letouzey
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-07-16	Gros Remaniement Extraction:	letouzey
2002-06-07	extraction vers scheme	letouzey
2002-06-05	Ajout d'extensions de syntaxe ARGUMENT EXTEND et VERNAC ARGUMENT EXTEND; rpar...	herbelin
2002-05-29	Fichiers contrib//.ml4 remplacent les contrib//.v	herbelin