Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ajout d'une option d'alias à -I | 2000-11-29 | |
* | - coqc: utilise le meilleur coq possible | 2000-11-24 | |
* | nouveau load path | 2000-11-08 | |
* | gros commit de tout ce que j'ai fait pendant les vacances : | 2000-01-21 | |
* | Déplacement print_emacs dans Options | 2000-01-07 | |
* | - méthode load sur les Hints | 1999-12-13 | |
* | documentation interfaces | 1999-12-13 | |
* | modules | 1999-12-12 | |
* | debug reset | 1999-12-10 | |
* | declarations eliminations / debuggae inductifs (debut) | 1999-12-06 | |
* | - coqmktop | 1999-12-03 | |
* | modules profile, Coqinit et Coqtop (=main) | 1999-12-03 |