Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Deplacement d'options avec ou sans argts | 2000-11-03 | |
* | compilation des fichiers ml4 sans GNUseries | 2000-11-03 | |
* | - simplification Makefile (compilation des fichiers .ml'; pas encore parfait | 2000-10-31 | |
* | g_natsyntax et g_zsyntax maintenant toujours linkes | 2000-10-27 | |
* | Capture erreur de create_process | 2000-06-29 | |
* | contrib linkees en natif | 2000-05-08 | |
* | Ajoute option -byte | 2000-05-05 | |
* | compilation bytecode / native : | 2000-05-03 | |
* | portage en ocaml / camlp4 3.00 | 2000-04-28 | |
* | Compilation pbs (coqc not finding coqtop, coqc not finding .vo when | 2000-04-21 | |
* | modules et coqc | 1999-12-12 | |
* | link Dhyp et Auto | 1999-12-07 | |
* | compilation native | 1999-12-03 | |
* | coqmktop | 1999-12-03 |