coq - The formal proof system

Age	Commit message (Expand)	Author
2009-09-17	Delete trailing whitespaces in all .{v,ml} files	glondu
2009-04-24	Fixing bug #2308 ("instantiate" tactic did not comply with	herbelin
2009-01-18	Getting rid of the previous implementation of setoid_rewrite which was	msozeau
2008-10-26	Fixes and refinements regarding occurrence selection:	herbelin
2008-06-10	- Officialisation de la notation "pattern c at -1" (cf wish 1798 sur coq-bugs)	herbelin
2008-04-20	Work on the "occurrences" tactic argument. It is now possible to pass	msozeau
2008-04-12	Adding 'at' to rewrite, as it is already implemented in setoid_rewrite.	msozeau
2008-01-30	Add occurence extra arg	msozeau
2007-12-05	Factorisation des opérations sur le type option de Util dans un module	aspiwack
2007-06-26	killing some more non-exhaustive patterns	letouzey
2007-06-20	ajout de head0 et tail0 en natif	bgregoir
2007-05-11	Processor integers + Print assumption (see coqdev mailing list for the	aspiwack
2006-08-23	Bug in replace tactics introduced in r9073 (overlap between replace .. with a...	jforest
2006-08-22	+ Changing "in <hyp>" to "in <clause>" (no at, no InValue and no	jforest
2006-04-26	Diverses corrections de l'afficheur et du traducteur pour s'assurer de	herbelin
2006-01-11	Standardisation du nom de subst_raw en subst_rawconstr	herbelin
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-21	Ajout printer pr_lconstr aux extensions de syntaxe pour les arguments de tact...	herbelin
2004-09-29	Hugly temporary notation	sacerdot
2004-09-24	New: (temporary) concrete syntax to specify the morphism signature:	sacerdot
2004-07-16	Nouvelle en-tête	herbelin
2004-07-02	syntax compatibility fix	corbinea
2004-06-30	instantiate entry: constr -> lconstr	corbinea
2004-06-29	moved instantiate binding to extratactics	corbinea
2003-11-08	Code obsolete	herbelin
2003-08-11	Nouvelle mouture du traducteur v7->v8	herbelin
2003-04-07	Globalisation des noms de tactiques dans les définitions de tactiques	herbelin
2002-06-05	Ajout d'extensions de syntaxe ARGUMENT EXTEND et VERNAC ARGUMENT EXTEND; rpar...	herbelin
2002-05-29	Fichiers tactics/.ml4 remplacent les tactics/.v	herbelin