aboutsummaryrefslogtreecommitdiffhomepage
path: root/library/global.mli
Commit message (Expand)AuthorAge
* Disparition du type oper mais nouveau type global_referenceGravatar herbelin2000-10-01
* retablissement make doc et make minicoqGravatar filliatr2000-07-25
* Passage à des contextes de vars et de rels pouvant contenir des déclarationsGravatar herbelin2000-07-24
* Nettoyage de Generic;Suppression des DLAM en tête des listes de constructeursGravatar herbelin2000-05-31
* Suite restructuration inductifs; changement nom module Constant en DeclarationsGravatar herbelin2000-05-22
* gros commit de tout ce que j'ai fait pendant les vacances :Gravatar filliatr2000-01-21
* Nouveaux types 'constructor' et 'inductive' dans Term;Gravatar herbelin1999-12-15
* - environment -> safe_environmentGravatar filliatr1999-12-01
* - Typing -> Safe_typingGravatar filliatr1999-12-01
* ajouts divers pour module PrinterGravatar filliatr1999-11-26
* modules Indrec, Tacentries, HiddentacGravatar filliatr1999-11-23
* modules Indrec, Wcclausenv; progression dans TacticalsGravatar filliatr1999-11-22
* - module Redinfo dans library/ pour les constantes d'éliminationGravatar filliatr1999-10-22
* module LogicGravatar filliatr1999-10-14
* deplacement des var. ex. dans proofsGravatar filliatr1999-10-08
* ajout des constraintes pendant le chargement d'un module (load)Gravatar filliatr1999-09-27
* - un effort sur la doc (ocamlweb)Gravatar filliatr1999-09-19
* module LibraryGravatar filliatr1999-09-18
* environement globalGravatar filliatr1999-09-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-13 04:47:42 +0000