aboutsummaryrefslogtreecommitdiff
path: root/ide/ideutils.ml
AgeCommit message (Expand)Author
2006-10-23fixed same_file (#1141)barras
2006-06-07Changement de l'option -where: on vérifie si la variable d'environnement COQ...notin
2005-11-25*** empty log message ***barras
2005-11-25*** empty log message ***barras
2005-11-23bug de coqide sous windows (bad file descriptor)barras
2005-11-08Nettoyage suite à la détection par défaut des variables inutilisées par o...herbelin
2005-05-19Déplacement de fonctionnalités unix et browser de ide vers libherbelin
2004-07-16Nouvelle en-têteherbelin
2004-02-04search windowcoq
2004-01-29pour ide sous windowscoq
2003-12-30ameliorations coqidecoq
2003-09-19Coqide : les nouveaute d'aoutmonate
2003-07-10coqide: warn when using locale or manual charsetmonate
2003-07-07Coqide : ported to lablgtk2 snapshot of 2003/07/07monate
2003-06-13coqide: indentationmonate
2003-05-22coqide: blaster V1monate
2003-05-20CoqIde: externalsmonate
2003-05-14coqide: load/save file encoding support/monate
2003-05-07coqide: toolbar/autosavemonate
2003-04-28fichier de pref coq IDE en ASCII (ENFIN)filliatr
2003-04-24*** empty log message ***monate
2003-04-22coqide : progressbarmonate
2003-03-26coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc...monate
2003-03-24coqide: compact delete event-search startmonate
2003-03-12coqide: .coqidepref en bin. Preferences en plusmonate
2003-03-07coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...monate
2003-03-06coqide: fenetre de cmmandes . undo correctmonate
2003-03-05CoqIde: Install.ide Revert bugfix.monate
2003-03-04coqide: partage -debug avec coqtopmonate
2003-03-04IDE: majmonate
2003-03-03CoqIDE: copy/pastemonate
2003-03-03IDE: debug=falsefilliatr
2003-03-03coqide: preferences support and optimizationsmonate
2003-02-27coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ...monate
2003-02-26coqide: preliminary support for mnemonics. Edit menu. Context help now works ...monate
2003-02-24coqide : aide sur selection ou sur motmonate
2003-02-24aide contextuelle / menus compilation + print + exportfilliatr
2003-02-21CoqIDE: robustesse / multi-buffers / menus / ... (utilisable)filliatr
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 09:01:54 +0000