aboutsummaryrefslogtreecommitdiffhomepage
path: root/states
Commit message (Expand)AuthorAge
* Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...Gravatar herbelin2003-11-29
* MAJ .v8Gravatar herbelin2003-10-10
* Logic_TypeSyntax a disparuGravatar herbelin2003-09-25
* Nouvelle mouture du traducteur v7->v8Gravatar herbelin2003-08-11
* *** empty log message ***Gravatar barras2003-03-14
* *** empty log message ***Gravatar barras2003-03-12
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* branchement extraction en standard (pas de Require)Gravatar filliatr2001-04-09
* entetesGravatar filliatr2001-03-15
* EqDecideGravatar filliatr2001-02-06
* Portage d'AutoRewriteGravatar delahaye2000-12-02
* portage RefineGravatar filliatr2000-07-20
* portage EAuto et RingGravatar filliatr2000-06-21
* ajout d'InversionGravatar filliatr2000-05-05
* TautoGravatar filliatr2000-03-20
* Syntactic Definition n'etaient pas correctemenet importeesGravatar filliatr2000-03-16
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* repertoire pour les etatsGravatar filliatr1999-12-05