aboutsummaryrefslogtreecommitdiffhomepage
path: root/states/MakeInitial.v
Commit message (Expand)AuthorAge
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Nouvelle en-têteGravatar herbelin2004-07-16
* Logic_TypeSyntax a disparuGravatar herbelin2003-09-25
* 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