coq - The formal proof system

Age	Commit message (Expand)	Author
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-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-05-20	- Propagation des evars non résolues vers les with_bindings; permet par exemple	herbelin
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	Forgot a file in previous commit	jforest
2005-01-21	Compatibilité ocamlweb pour cible doc	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-06-29	moved instantiate binding to extratactics	corbinea
2003-11-08	Code obsolete	herbelin
2002-11-14	Réforme de l'interprétation des termes :	herbelin
2002-05-29	Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...	herbelin