Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Ajout des messages d'erreurs de Cases | 1999-12-09 | ||
* | - environment -> safe_environment | 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 | ||
* | module Clenv (debut) | 1999-10-20 | ||
* | deplacements des var. ex. hors du noyau | 1999-10-08 | ||
* | affichage des erreurs de typage dans minicoq | 1999-09-10 | ||
* | un petit effort de presentation dans les interfaces | 1999-08-30 | ||
* | environnement sur | 1999-08-26 | ||
* | - abstraction | 1999-08-26 |