Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | bug Reset et Sections | 2001-02-28 | ||
* | - coqc : option -image | 2001-02-01 | ||
* | g_natsyntax et g_zsyntax maintenant toujours linkes | 2000-10-27 | ||
* | contrib linkees en natif | 2000-05-08 | ||
* | compilation bytecode / native : | 2000-05-03 | ||
* | portage en ocaml / camlp4 3.00 | 2000-04-28 | ||
* | link Dhyp et Auto | 1999-12-07 | ||
* | compilation native | 1999-12-03 | ||
* | coqmktop | 1999-12-03 |