Commit message (Expand) | Author | Age | |
---|---|---|---|
* | option -quality | filliatr | 2001-05-28 |
* | *** empty log message *** | courant | 2001-04-19 |
* | utilisation de Options.if_verbose | filliatr | 2001-04-03 |
* | entetes | filliatr | 2001-03-15 |
* | Mise en place d'un système optionnel de discharge immédiat; prise en compte... | herbelin | 2001-02-14 |
* | modules et coqc | filliatr | 1999-12-12 |
* | Discharge (encore bugge) | filliatr | 1999-12-09 |
* | poursuite de Vernacentries | filliatr | 1999-12-01 |
* | module Classops; ajout de fonctions dans Declare en consequence | filliatr | 1999-11-26 |
* | ajouts divers pour module Printer | filliatr | 1999-11-26 |
* | ajout de divers fonctions dans lib/ | filliatr | 1999-09-28 |