Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Ajout des messages d'erreurs de Cases | herbelin | 1999-12-09 | |
* | - global_reference traite des variables | filliatr | 1999-12-03 | |
* | Retour dans pretyping | herbelin | 1999-12-01 | |
* | déplacé dans kernel | herbelin | 1999-12-01 | |
* | - environment -> safe_environment | filliatr | 1999-12-01 | |
* | Version initiale | herbelin | 1999-11-26 |