aboutsummaryrefslogtreecommitdiff
path: root/contrib/omega
AgeCommit message (Expand)Author
2000-11-07Nettoyage Names suiteherbelin
2000-11-07Changement/extension dans les noms de parseurs de Grammarherbelin
2000-10-27Simpl fait trop maintenant; faut adapterherbelin
2000-10-24Changement des analyseurs syntaxiques de Grammar et Syntaxherbelin
2000-10-04Commit malencontreux sur précédente versionherbelin
2000-10-04Mise en conformité nouveau Simpl pour Fixherbelin
2000-10-01Renommage AppL en Appherbelin
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-10Ajout d'un LetIn primitif.herbelin
2000-07-24Passage à des contextes de vars et de rels pouvant contenir des déclarationsherbelin
2000-07-03Opaque pas encore implementee; syntax langage tactiquesfilliatr
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-27 12:00:34 +0000