Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Suppression des parseurs et printeurs v7; suppression du traducteur (mcanisme... | herbelin | 2005-12-26 |
* | Changement des named_context | gregoire | 2005-12-02 |
* | avoids warnings about unused variables | bertot | 2005-11-14 |
* | Adds tools to help in defining new general recursive functions | bertot | 2005-11-07 |