aboutsummaryrefslogtreecommitdiff
path: root/contrib
AgeCommit message (Expand)Author
2000-10-01Disparition du type oper mais nouveau type global_referenceherbelin
2000-09-14Abstraction de constrherbelin
2000-09-12Modification mkAppL; abstraction via kind_of_term; changement dans Reductionherbelin
2000-09-10Suppression de Abstherbelin
2000-09-10Ajout d'un LetIn primitif.herbelin
2000-07-24Passage à des contextes de vars et de rels pouvant contenir des déclarationsherbelin
2000-07-21*) -> i*)filliatr
2000-07-03Opaque pas encore implementee; syntax langage tactiquesfilliatr
2000-06-21 - $BINDER -> BINDER dans g_constr.ml4 (=> erreur syntax Fix)filliatr
2000-06-21bug discharge STRUCTURE; FrozenState supprimmes dans les ClosedSection -> .vo...filliatr
2000-06-21Ringfilliatr
2000-06-12Auto with zarith provisoirement remplace par un Omegafilliatr
2000-05-08un Declare ML Module inutilefilliatr
2000-05-03retour a la version qui ne contournait pas le bug de PatternMatchingFailure n...herbelin
2000-05-03Ajout du langage de tactiquesdelahaye
2000-05-02portage Omega (mais toujours pas Zpower et Zlogarithm)filliatr
2000-04-30MODIFS pour compatibilité aussi 2.99herbelin
2000-04-28mise sous CVS d'Omegafilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 15:32:17 +0000