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
2009-01-14	Fixing #1960 (xml bug with external on goal variable) and #1961	herbelin
2008-11-27	fixed non-exhaustive pattern matching	barras
2008-08-04	Évolutions diverses et variées.	herbelin
2007-01-22	Correction du bug #1315:	notin
2006-10-16	affichage des ... dans les scripts	barras
2006-09-20	Declarative Proof Language: main commit	corbinea
2006-01-11	Restructuration et simplification des fonctions d'affichage, de détypage	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-02	Changement des named_context	gregoire
2004-09-07	deuxieme vague de modifs: evar_defs fonctionnel	barras
2004-07-16	Nouvelle en-tête	herbelin
2004-06-26	Licence changed from GPL to Lesser GPL.	sacerdot
2004-04-07	Copyright notice of files in contrib/xml made uniform.	sacerdot
2004-04-07	Loic code to pretty-print the generated proof-tree debranched (since it	sacerdot
2004-03-25	ProofTree2Xml is no longer directly used by Xmlcommand.	sacerdot
2004-03-24	Utilisation du printer approprie a la version de syntaxe	herbelin
2002-11-05	Intégration de la branche mowgli	herbelin