aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories
Commit message (Expand)AuthorAge
...
* g_natsyntax et g_zsyntax maintenant toujours linkesGravatar filliatr2000-10-27
* Mise a jour TheoryListGravatar mohring2000-10-27
* Retire les parentheses autour des tactiquesGravatar mohring2000-10-26
* Parsing des motifs de Syntax avec la grammaire associée à l'univers de la d...Gravatar herbelin2000-10-18
* ParenthesesGravatar herbelin2000-10-12
* Finalement, encore un Simpl inutileGravatar herbelin2000-10-10
* Parenthèses pour les tactiquesGravatar herbelin2000-10-06
* Changement dans la stratégie de réduction du Fix par SimplGravatar herbelin2000-10-06
* Un usage en moins de l'axiome eq_rec_eqGravatar herbelin2000-10-06
* Remplacement de la tactique Program (partiel)Gravatar herbelin2000-10-05
* Commit malencontreux sur précédente versionGravatar herbelin2000-10-04
* Mise en conformité nouveau Simpl pour FixGravatar herbelin2000-10-04
* Plus de piquants dans les actions des grammaires; nom de la grammaire pris co...Gravatar herbelin2000-07-28
* portage RefineGravatar filliatr2000-07-20
* correctionGravatar mayero2000-07-04
* ajoutsGravatar mayero2000-07-03
* Traduction de syntaxe vers ltacGravatar delahaye2000-07-03
* Séparation des caractères spéciaux par un blancGravatar herbelin2000-07-01
* Retrait des parenthèses inutiles autour des tactiquesGravatar herbelin2000-07-01
* Require Plus ajouteGravatar filliatr2000-06-21
* theories/RealsGravatar filliatr2000-06-21
* theories/RelationsGravatar filliatr2000-06-21
* theories/SetsGravatar filliatr2000-06-21
* theories/ListsGravatar filliatr2000-06-21
* Séparation des tokens -> et ~Gravatar herbelin2000-05-22
* Changement nommage des hypothèses; parenthèses pour les tactiquesGravatar herbelin2000-05-22
* ParenthèsesGravatar herbelin2000-05-22
* parethèses de tactiquesGravatar herbelin2000-05-18
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* portage Omega (mais toujours pas Zpower et Zlogarithm)Gravatar filliatr2000-05-02
* Bug affichage Error et ValueGravatar herbelin2000-04-30
* suppression doublonGravatar filliatr2000-04-26
* erreurs lexicales dans les patterns (manquait des espaces)Gravatar filliatr2000-03-30
* - bug make_module_marker (plus de # et de .obj maintenant)Gravatar filliatr2000-03-21
* Retour sur les anciens nomsGravatar herbelin2000-03-21
* Eqdep_dec retrouve ses noms d'origine grace au nouvel Reduction.instance util...Gravatar herbelin2000-03-21
* ZarithGravatar filliatr2000-03-18
* g_natsyntax.mlGravatar filliatr2000-03-18
* Syntactic Definition n'etaient pas correctemenet importeesGravatar filliatr2000-03-16
* mise sous CVSGravatar filliatr2000-03-16
* t -> $t dans regle grammaire EXGravatar filliatr2000-03-10
* mise sous CVS du repertoire theories/ArithGravatar filliatr2000-03-10
* *** empty log message ***Gravatar barras2000-03-10
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* Renommage command en constrGravatar herbelin2000-01-07
* erreurs de syntax :$Gravatar filliatr1999-12-16
* - méthode load sur les HintsGravatar filliatr1999-12-13
* fichiers prelude CoqGravatar filliatr1999-12-13