| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | "make clean" nettoie les .g all.ps all-gal.ps et les fichiers HTML |  filliatr | 2001-07-17 | |
| * | all.g.ps -> all-gal.ps | filliatr | 2001-07-16 | |
| * | cibles all.ps et all-gal.ps (utilisation de coqweb) | filliatr | 2001-07-16 | |
| * | Chgt de MAKE= ... |  letouzey | 2001-05-29 | |
| * | option -byte | filliatr | 2001-05-28 | |
| * | application patch Claudio | filliatr | 2001-05-11 | |
| * | patch Claudio pour coq_makefile | filliatr | 2001-04-23 | |
| * | entetes | filliatr | 2001-03-15 | |
| * | modifs mineures | filliatr | 2001-02-08 | |
| * | backtrack sur le lexeur de la V6 | filliatr | 2001-01-30 | |
| * | numarg -> pure_numarg a poursuivre |  mohring | 2000-12-11 | |
| * | do_Makefile -> coq_makefile pour le bootstrap! | filliatr | 2000-11-09 | |
| * | outils (manquent encore les deux filtres) | filliatr | 1999-12-11 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |