| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Update installation instructions to the modern world a bit. |  lmamane | 2007-01-18 |
| * | Coq ne compile plus avec OCaml 3.06 (mais avec 3.07 c'est ok) |  notin | 2006-09-01 |
| * | conseille l'utilisation de la release officielle 2.2.0 de lablgtk |  letouzey | 2003-11-12 |
| * | typo (Benjamin, voyons ;) | letouzey | 2003-09-22 |
| * | Coqide : les nouveaute d'aout |  monate | 2003-09-19 |
| * | Petite erreur dans le script d'install. |  corbinea | 2003-07-08 |
| * | Coqide : ported to lablgtk2 snapshot of 2003/07/07 | monate | 2003-07-07 |
| * | configure et make install s'occupent de CoqIde tout seuls |  filliatr | 2003-05-19 |
| * | CoqIde: AccelMap support | monate | 2003-05-12 |
| * | coqide: search forward | monate | 2003-04-28 |
| * | new utf8.v | monate | 2003-04-25 |
| * | *** empty log message *** | monate | 2003-04-24 |
| * | coqide: thread bug fix | monate | 2003-04-10 |
| * | coqide: maj preferences du wizzard | monate | 2003-03-14 |
| * | CoqIde: Install.ide Revert bugfix. | monate | 2003-03-05 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |
path: root/INSTALL.ide