aboutsummaryrefslogtreecommitdiff
path: root/contrib
AgeCommit message (Expand)Author
2000-11-09Renommage canonique SectionLocalDecl -> SectionLocalAssumherbelin
2000-11-08nouveau load pathfilliatr
2000-11-08First version with out_variable used. Exports all the standard librarysacerdot
2000-11-07Nettoyage Names suiteherbelin
2000-11-07Correction sur commit errone de la version 1.3herbelin
2000-11-07Changement/extension dans les noms de parseurs de Grammarherbelin
2000-11-06nouveau discharge fait par le noyau; plus de recettes dans les corps des cons...filliatr
2000-11-03Few OCaml files in contrib/xmlsacerdot
2000-11-03URI problem addressed, but not resolved yetsacerdot
2000-10-27Simpl fait trop maintenant; faut adapterherbelin
2000-10-26Semi_Ring_Theory_of decommentemohring
2000-10-26Ajout de la mthode load_function pour exporter les 'tactic-ring-theory'herbelin
2000-10-26ntrefiner.ml* removed in module xmlsacerdot
2000-10-25Manquait le cas Constr de dyn_polynomherbelin
2000-10-25Porting from V6 finished, but not working.sacerdot
2000-10-25Added xml contribution to configuresacerdot
2000-10-25xml contribution created.sacerdot
2000-10-24Changement des analyseurs syntaxiques de Grammar et Syntaxherbelin
2000-10-24Syntaxe des tactiquesherbelin
2000-10-24Renommage command -> constr et changement des analyseurs syntaxiques de Gramm...herbelin
2000-10-23Modifications pour implicites améliorésherbelin
2000-10-06MAJ pour nouvelle syntaxe des membres droits des grammairesherbelin
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-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-06 17:08:28 +0000