Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | herbelin | 2002-05-29 |
* | Ajout d'un "\" pour proteger un autre "\" et ainsi etre compatible avec | clrenard | 2001-11-30 |
* | amelioration des messages d'erreurs vis a vis des evars | barras | 2001-05-23 |
* | support option -R pour coqdep | filliatr | 2001-04-20 |
* | entetes | filliatr | 2001-03-15 |
* | les options passées sont prioritaires sur les -I par défaut | filliatr | 2001-03-15 |
* | modifs pour extraction; bug coqmktop | filliatr | 2001-03-06 |
* | bug Reset et Sections | filliatr | 2001-02-28 |
* | - coqc : option -image | filliatr | 2001-02-01 |
* | g_natsyntax et g_zsyntax maintenant toujours linkes | filliatr | 2000-10-27 |
* | contrib linkees en natif | filliatr | 2000-05-08 |
* | compilation bytecode / native : | filliatr | 2000-05-03 |
* | portage en ocaml / camlp4 3.00 | filliatr | 2000-04-28 |
* | link Dhyp et Auto | filliatr | 1999-12-07 |
* | compilation native | filliatr | 1999-12-03 |
* | coqmktop | filliatr | 1999-12-03 |