aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib
Commit message (Expand)AuthorAge
* Simpl fait trop maintenant; faut adapterGravatar herbelin2000-10-27
* Semi_Ring_Theory_of decommenteGravatar mohring2000-10-26
* Ajout de la mthode load_function pour exporter les 'tactic-ring-theory'Gravatar herbelin2000-10-26
* ntrefiner.ml* removed in module xmlGravatar sacerdot2000-10-26
* Manquait le cas Constr de dyn_polynomGravatar herbelin2000-10-25
* Porting from V6 finished, but not working.Gravatar sacerdot2000-10-25
* Added xml contribution to configureGravatar sacerdot2000-10-25
* xml contribution created.Gravatar sacerdot2000-10-25
* Changement des analyseurs syntaxiques de Grammar et SyntaxGravatar herbelin2000-10-24
* Syntaxe des tactiquesGravatar herbelin2000-10-24
* Renommage command -> constr et changement des analyseurs syntaxiques de Gramm...Gravatar herbelin2000-10-24
* Modifications pour implicites améliorésGravatar herbelin2000-10-23
* MAJ pour nouvelle syntaxe des membres droits des grammairesGravatar herbelin2000-10-06
* Commit malencontreux sur précédente versionGravatar herbelin2000-10-04
* Mise en conformité nouveau Simpl pour FixGravatar herbelin2000-10-04
* Renommage AppL en AppGravatar herbelin2000-10-01
* Disparition du type oper mais nouveau type global_referenceGravatar herbelin2000-10-01
* Abstraction de constrGravatar herbelin2000-09-14
* Modification mkAppL; abstraction via kind_of_term; changement dans ReductionGravatar herbelin2000-09-12
* Suppression de AbstGravatar herbelin2000-09-10
* Ajout d'un LetIn primitif.Gravatar herbelin2000-09-10
* Passage à des contextes de vars et de rels pouvant contenir des déclarationsGravatar herbelin2000-07-24
* *) -> i*)Gravatar filliatr2000-07-21
* Opaque pas encore implementee; syntax langage tactiquesGravatar filliatr2000-07-03
* - $BINDER -> BINDER dans g_constr.ml4 (=> erreur syntax Fix)Gravatar filliatr2000-06-21
* bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo...Gravatar filliatr2000-06-21
* RingGravatar filliatr2000-06-21
* Auto with zarith provisoirement remplace par un OmegaGravatar filliatr2000-06-12
* un Declare ML Module inutileGravatar filliatr2000-05-08
* retour a la version qui ne contournait pas le bug de PatternMatchingFailure n...Gravatar herbelin2000-05-03
* Ajout du langage de tactiquesGravatar delahaye2000-05-03
* portage Omega (mais toujours pas Zpower et Zlogarithm)Gravatar filliatr2000-05-02
* MODIFS pour compatibilité aussi 2.99Gravatar herbelin2000-04-30
* mise sous CVS d'OmegaGravatar filliatr2000-04-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 15:24:50 +0000