aboutsummaryrefslogtreecommitdiff
path: root/kernel/sign.mli
AgeCommit message (Expand)Author
2000-09-10Correction pour make docherbelin
2000-09-10Ajout d'un LetIn primitif.herbelin
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-22Renommage hypothèses de nom redondant dans les environnementsherbelin
2000-05-05docherbelin
2000-04-21Sign.db_signature is now an abstract typecourant
2000-01-28documentationfilliatr
2000-01-27erreurs latex dans interfacesfilliatr
2000-01-26MAJ ocaml 2.99 (espaces dans la syntaxe des cast)herbelin
2000-01-26Abstraction de l'implémentation des signatures de Sign en vue intégration d...herbelin
1999-12-01 - Typing -> Safe_typingfilliatr
1999-11-26ajouts divers pour module Printerfilliatr
1999-11-24MAJ pour fusion avec pretypingherbelin
1999-09-19 - un effort sur la doc (ocamlweb)filliatr
1999-08-30un petit effort de presentation dans les interfacesfilliatr
1999-08-26environnement surfilliatr
1999-08-24mach et himsg; typage sans extractionfilliatr
1999-08-20machine: execute = typage avec universfilliatr
1999-08-19mise en place programmation literaire (generation de doc/coq.tex)filliatr
1999-08-17generic, term et evdfilliatr
1999-08-16ancien names decoupe en names + signfilliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-02 03:01:11 +0000