Commit message (Expand) | Author | Age | |
---|---|---|---|
* | bug de coqide sous windows (bad file descriptor) | 2005-11-23 | |
* | implement support for drgeocaml | 2005-11-17 | |
* | Nettoyage suite à la détection par défaut des variables inutilisées par o... | 2005-11-08 | |
* | Nouvelle en-tête | 2004-07-16 | |
* | Coqide : ported to lablgtk2 snapshot of 2003/07/07 | 2003-07-07 | |
* | coqide: blaster V1 | 2003-05-22 | |
* | coqide: toolbar/autosave | 2003-05-07 | |
* | Coqide : bug undo | 2003-04-22 | |
* | coqide: compact delete event-search start | 2003-03-24 | |
* | coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor... | 2003-03-07 | |
* | coqide: fenetre de cmmandes . undo correct | 2003-03-06 | |
* | coqide: le undo | 2003-03-06 |