Commit message (Expand) | Author | Age | |
---|---|---|---|
* | mise jour | 2002-04-05 | |
* | suite et fin (?) de haskell: gestion des modules, mise en place du'un test | 2002-02-15 | |
* | mise en place extraction haskell | 2001-05-14 | |
* | make reals prend en compte tous les .vo de theories/Reals | 2001-04-25 | |
* | mise a jour | 2001-04-23 | |
* | script de bench automatique pour extraction | 2001-04-19 | |
* | repertoire pour les tests d'extraction | 2001-03-30 |