Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | - Typing -> Safe_typing | 1999-12-01 | ||
* | portage modules Evarconv et Evarutil | 1999-11-29 | ||
* | MAJ pour fusion avec pretyping | 1999-11-24 | ||
* | modules Indrec, Tacentries, Hiddentac | 1999-11-23 | ||
* | On se fait la main: plus de precision si ill-formed rec body | 1999-11-10 | ||
* | module Logic | 1999-10-14 | ||
* | affichage des erreurs de typage dans minicoq | 1999-09-10 | ||
* | module Himsg, comme un foncteur | 1999-09-08 |