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