aboutsummaryrefslogtreecommitdiff
path: root/library/global.mli
AgeCommit message (Expand)Author
2000-10-01Disparition du type oper mais nouveau type global_referenceherbelin
2000-07-25retablissement make doc et make minicoqfilliatr
2000-07-24Passage à des contextes de vars et de rels pouvant contenir des déclarationsherbelin
2000-05-31Nettoyage de Generic;Suppression des DLAM en tête des listes de constructeursherbelin
2000-05-22Suite restructuration inductifs; changement nom module Constant en Declarationsherbelin
2000-01-21gros commit de tout ce que j'ai fait pendant les vacances :filliatr
1999-12-15Nouveaux types 'constructor' et 'inductive' dans Term;herbelin
1999-12-01 - environment -> safe_environmentfilliatr
1999-12-01 - Typing -> Safe_typingfilliatr
1999-11-26ajouts divers pour module Printerfilliatr
1999-11-23modules Indrec, Tacentries, Hiddentacfilliatr
1999-11-22modules Indrec, Wcclausenv; progression dans Tacticalsfilliatr
1999-10-22 - module Redinfo dans library/ pour les constantes d'éliminationfilliatr
1999-10-14module Logicfilliatr
1999-10-08deplacement des var. ex. dans proofsfilliatr
1999-09-27ajout des constraintes pendant le chargement d'un module (load)filliatr
1999-09-19 - un effort sur la doc (ocamlweb)filliatr
1999-09-18module Libraryfilliatr
1999-09-09environement globalfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-13 06:19:33 +0000