aboutsummaryrefslogtreecommitdiffhomepage
path: root/theories
Commit message (Expand)AuthorAge
* Retour a la version 1.1Gravatar herbelin2000-11-13
* Y avait des '.' non suivis d'un séparateurGravatar herbelin2000-11-11
* mise-a-jour, ajouts de quelques truc...Gravatar mayero2000-11-10
* Finalement PolyListSyntax est necessaire (la redondance venait d'une confusio...Gravatar herbelin2000-11-10
* Modification de la table des tactic Definitions pour eviter l'ecritureGravatar mohring2000-11-07
* Changement/extension dans les noms de parseurs de GrammarGravatar herbelin2000-11-07
* OrthographeGravatar herbelin2000-11-07
* Plus besoin de débrancher la preuve qui ne passait pasGravatar herbelin2000-11-05
* Plus besoin de rajouter "Require Plus"Gravatar herbelin2000-11-05
* Pour ne plus éviter temporairement le "Auto with zarith" !Gravatar herbelin2000-11-05
* Suppression d'Intuition (trop intelligent?)Gravatar delahaye2000-10-30
* Pour eviter temporairement le "Auto with zarith"Gravatar delahaye2000-10-30
* Passage command -> constrGravatar herbelin2000-10-27
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-12 04:10:00 +0000