aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/sign.mli
Commit message (Expand)AuthorAge
* Renommage hypothèses de nom redondant dans les environnementsGravatar herbelin2000-05-22
* docGravatar herbelin2000-05-05
* Sign.db_signature is now an abstract typeGravatar courant2000-04-21
* documentationGravatar filliatr2000-01-28
* erreurs latex dans interfacesGravatar filliatr2000-01-27
* MAJ ocaml 2.99 (espaces dans la syntaxe des cast)Gravatar herbelin2000-01-26
* Abstraction de l'implémentation des signatures de Sign en vue intégration d...Gravatar herbelin2000-01-26
* - Typing -> Safe_typingGravatar filliatr1999-12-01
* ajouts divers pour module PrinterGravatar filliatr1999-11-26
* MAJ pour fusion avec pretypingGravatar herbelin1999-11-24
* - un effort sur la doc (ocamlweb)Gravatar filliatr1999-09-19
* un petit effort de presentation dans les interfacesGravatar filliatr1999-08-30
* environnement surGravatar filliatr1999-08-26
* mach et himsg; typage sans extractionGravatar filliatr1999-08-24
* machine: execute = typage avec universGravatar filliatr1999-08-20
* mise en place programmation literaire (generation de doc/coq.tex)Gravatar filliatr1999-08-19
* generic, term et evdGravatar filliatr1999-08-17
* ancien names decoupe en names + signGravatar filliatr1999-08-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-03 16:45:40 +0000