aboutsummaryrefslogtreecommitdiff
path: root/states
AgeCommit message (Expand)Author
2012-08-23No more states/initial.coq, instead coqtop now requires Prelude.voletouzey
2012-08-08Updating headers.herbelin
2010-07-24Updated all headers for 8.3 and trunkherbelin
2009-03-04removed unused state filebarras
2006-04-28Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...notin
2004-07-16Nouvelle en-têteherbelin
2003-11-29Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...herbelin
2003-10-10MAJ .v8herbelin
2003-09-25Logic_TypeSyntax a disparuherbelin
2003-08-11Nouvelle mouture du traducteur v7->v8herbelin
2003-03-14*** empty log message ***barras
2003-03-12*** empty log message ***barras
2002-05-29Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...herbelin
2001-04-09branchement extraction en standard (pas de Require)filliatr
2001-03-15entetesfilliatr
2001-02-06EqDecidefilliatr
2000-12-02Portage d'AutoRewritedelahaye
2000-07-20portage Refinefilliatr
2000-06-21portage EAuto et Ringfilliatr
2000-05-05ajout d'Inversionfilliatr
2000-03-20Tautofilliatr
2000-03-16Syntactic Definition n'etaient pas correctemenet importeesfilliatr
2000-01-21gros commit de tout ce que j'ai fait pendant les vacances :filliatr
1999-12-05repertoire pour les etatsfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 06:39:16 +0000