aboutsummaryrefslogtreecommitdiffhomepage
path: root/tactics/eauto.ml4
Commit message (Expand)AuthorAge
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* * added subst_evaluable_referenceGravatar sacerdot2004-12-07
* unification encore...Gravatar barras2004-09-08
* deuxieme vague de modifs: evar_defs fonctionnelGravatar barras2004-09-07
* premiere reorganisation de l\'unificationGravatar barras2004-09-03
* Nouvelle en-têteGravatar herbelin2004-07-16
* Nouvelle tactique EExistsGravatar clrenard2003-12-01
* New tactics : econstructor, eleft, eright, esplitGravatar clrenard2003-11-17
* NettoyageGravatar herbelin2003-11-08
* Nouvelle mouture du traducteur v7->v8Gravatar herbelin2003-08-11
* Globalisation des noms de tactiques dans les définitions de tactiquesGravatar herbelin2003-04-07
* *** empty log message ***Gravatar barras2003-03-12
* Restructuration interpréteur de tactique: plus d'évaluation partielle à la...Gravatar herbelin2003-01-19
* Option pour rendre les vérifications du refiner optionnelleGravatar herbelin2002-12-09
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Ajout d'extensions de syntaxe ARGUMENT EXTEND et VERNAC ARGUMENT EXTEND; rpar...Gravatar herbelin2002-06-05
* Fichiers tactics/*.ml4 remplacent les tactics/*.vGravatar herbelin2002-05-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 19:19:01 +0000