coq - The formal proof system

Age	Commit message (Expand)	Author
2012-05-29	place all pretty-printing files in new dir printing/	letouzey
2012-03-02	Noise for nothing	pboutill
2011-11-17	Fixing bug #2640 and variants of it (inconsistency between when and	herbelin
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-04-29	Remove the svn-specific $Id$ annotations	letouzey
2010-04-22	Here comes the commit, announced long ago, of the new tactic engine.	aspiwack
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-05-20	- Fixing declarative mode in presence of high use of Change_evars nodes	herbelin
2008-07-17	fixed indentation of subgoals for Show Script	barras
2008-06-19	removed unwanted linebreaks in pretty printing	corbinea
2008-04-25	Ajout de "Theorem id1 : t1 ... with idn : tn" pour partager la preuve	herbelin
2008-01-17	fixed script printing	corbinea
2007-03-21	Suppression des sauts de lignes superflus de Show Script (test-suite/output/T...	notin
2007-01-28	"suffices" implemented + syntax cleanup	corbinea
2007-01-25	decl mode: anonymous facts	corbinea
2007-01-22	Correction du bug #1315:	notin
2006-12-12	nouvelle indentation des scripts	barras
2006-10-16	affichage des ... dans les scripts	barras
2006-09-28	Suppression des lignes vides dans l'affichage des scripts	notin
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 (mécanis...	herbelin
2005-12-02	Changement des named_context	gregoire
2005-11-08	Nettoyage suite à la détection par défaut des variables inutilisées par o...	herbelin
2004-09-17	restructuration des printers: proofs passe avant parsing	barras