Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Abstraction vis a vis du type loc pour ocaml 3.08 | 2004-07-18 | |
* | Nouvelle en-tĂȘte | 2004-07-16 | |
* | ide: silent behavior better, save icon, -byte works | 2004-03-03 | |
* | Coqide : les nouveaute d'aout | 2003-09-19 | |
* | coqide: fixed problems with -R -I and coqide interaction | 2003-07-16 | |
* | coqide : status bar more informative, forbid Section/Module in proo mode | 2003-06-25 | |
* | CoqIDE: undo immediat sur les commandes ne modifiant pas l'etat | 2003-06-13 | |
* | coqide: blaster interruptible | 2003-05-26 | |
* | coqide: blaster V1 | 2003-05-22 | |
* | coqide: toolbar/autosave | 2003-05-07 | |
* | coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc... | 2003-03-26 | |
* | coqide: maj commandes | 2003-03-14 | |
* | IDE: maj | 2003-03-04 | |
* | *** empty log message *** | 2003-02-24 | |
* | Undo dans Coq IDE | 2003-02-11 | |
* | interface GTK2 experimentale | 2003-02-04 |