Commit message (Expand) | Author | Age | |
---|---|---|---|
* | add option to change modifiers of display menu | 2008-05-28 | |
* | ** Efficacité, bugs, robustesse CoqIDE ** | 2008-05-08 | |
* | Add the possibility to change the position of tabs in main window (from r9717). | 2007-04-16 | |
* | Ajout des options Coqide suggérées par Damien Doligez (wish #1053) | 2006-10-13 | |
* | Compatibilité ocamlweb pour cible doc | 2005-01-21 | |
* | Nouvelle en-tête | 2004-07-16 | |
* | ameliorations coqide | 2003-12-30 | |
* | preferences | 2003-12-08 | |
* | changement menu et toolbar | 2003-12-04 | |
* | commands renomme en queries, command goto a la place de forward to backwardt o | 2003-11-28 | |
* | Coqide : les nouveaute d'aout | 2003-09-19 | |
* | option pour supprimer les menus contextuels sur les buts | 2003-09-03 | |
* | coqide: load/save file encoding support/ | 2003-05-14 | |
* | coqide: missing files | 2003-05-07 |