aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics/autorewrite.ml
Commit message (Expand)AuthorAge
* Nouvelle en-têteGravatar herbelin2004-07-16
* Globalisation des hints autorewriteGravatar herbelin2003-10-20
* Correction du bug 335 et Export/Require Export dans un moduleGravatar coq2003-10-07
* Oops...Gravatar coq2002-10-01
* Table fonctionnelle dans autorewriteGravatar coq2002-10-01
* AutoRewrite substitutive...Gravatar coq2002-08-13
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* compat ocaml 3.03Gravatar filliatr2001-12-13
* TransparentGravatar barras2001-09-20
* Fonction lookup enleveeGravatar delahaye2001-04-19
* entetesGravatar filliatr2001-03-15
* AutoRewrite n'ecrit plus de valeurs fonctionnelles sur disqueGravatar delahaye2000-12-19
* Portage d'AutoRewriteGravatar delahaye2000-12-02