aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/fourier
Commit message (Expand)AuthorAge
* mise a jour du nouveau ring et ajout du nouveau field, avant renommagesGravatar barras2006-09-26
* Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...Gravatar notin2006-04-28
* Nettoyage coqlibGravatar herbelin2005-12-30
* Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme...Gravatar herbelin2005-12-26
* Traduction des noms v7 de R en noms v8Gravatar herbelin2005-12-25
* Changement des named_contextGravatar gregoire2005-12-02
* Nettoyage et documentation de LibraryGravatar herbelin2005-02-06
* IMPORTANT COMMIT: constant is now an ADT (it used to be equal to kernel_name).Gravatar sacerdot2004-11-16
* inclusion de meta_map dans evar_defsGravatar barras2004-09-12
* Protection des accès tableau car, sur Sparc-linux, cela engendre une erreur ...Gravatar herbelin2004-07-19
* Nouvelle en-têteGravatar herbelin2004-07-16
* code mortGravatar herbelin2004-03-01
* Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states ...Gravatar herbelin2003-11-29
* Protection contre les buts sans inegaliteGravatar herbelin2003-11-02
* Extension de l'utilisation de contradictionGravatar herbelin2003-10-19
* Branchement sur RIneqGravatar herbelin2003-10-16
* Cacher les .v8Gravatar herbelin2003-10-03
* Renommage CMeta en CPatVar qui sert à saisir les PMeta de PatternGravatar herbelin2003-05-19
* Noms absolusGravatar herbelin2003-03-31
* Ajout Simpl et Change sur des sous-termesGravatar herbelin2002-12-09
* Réforme de l'interprétation des termes :Gravatar herbelin2002-11-14
* Modules dans COQ\!\!\!\!Gravatar coq2002-08-02
* Protection des tactiques contre l'utilisation sans le bon contexte de thoriesGravatar herbelin2002-06-03
* Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co...Gravatar herbelin2002-05-29
* Fichiers contrib/*/*.ml4 remplacent les contrib/*/*.vGravatar herbelin2002-05-29
* un thm de plus dans Zdiv; un retour chariot apres un message de la tactique F...Gravatar filliatr2002-04-19
* GROS COMMIT:Gravatar barras2001-11-05
* Suppression des arguments sur les constantes, inductifs et constructeursGravatar barras2001-10-09
* integration de field a fourierGravatar mayero2001-05-07
* Ajout FourierGravatar mayero2001-04-20