aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/ideutils.ml
Commit message (Expand)AuthorAge
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Tried to make F1 documentation tool working in CoqIDE.Gravatar herbelin2009-08-14
* - per session coq command stackGravatar vgross2009-03-07
* Nettoyage des variables Coq et amélioration de coqmktop. LesGravatar notin2008-12-19
* open and save buttons are the defaultGravatar barras2008-06-10
* - Correction d'un nouveau bug de undo de CoqIDE ("Admitted" et "Proof t"Gravatar herbelin2008-05-30
* backtrack sur utilisation de do_overwrite_confirmationGravatar jnarboux2008-05-29
* commented out overwrite confirmation handler (requires lablgtk >=2.10)Gravatar barras2008-05-29
* add support for pdf in coqdoc, add export to pdf in coqide, port open and sav...Gravatar jnarboux2008-05-28
* Correction bug #1842 + correction bug initialisation introduit dansGravatar herbelin2008-05-10
* Amélioration de la colorisation, du backtrack et des messages de CoqIDEGravatar herbelin2008-05-10
* ** Efficacité, bugs, robustesse CoqIDE **Gravatar herbelin2008-05-08
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06
* redirection of errors in coqide + dynamic warning printer (needed for tm_egg)Gravatar corbinea2007-01-31
* fixed same_file (#1141)Gravatar barras2006-10-23
* Changement de l'option -where: on vérifie si la variable d'environnement COQ...Gravatar notin2006-06-07
* *** empty log message ***Gravatar barras2005-11-25
* *** empty log message ***Gravatar barras2005-11-25
* bug de coqide sous windows (bad file descriptor)Gravatar barras2005-11-23
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* Déplacement de fonctionnalités unix et browser de ide vers libGravatar herbelin2005-05-19
* Nouvelle en-têteGravatar herbelin2004-07-16
* search windowGravatar coq2004-02-04
* pour ide sous windowsGravatar coq2004-01-29
* ameliorations coqideGravatar coq2003-12-30
* Coqide : les nouveaute d'aoutGravatar monate2003-09-19
* coqide: warn when using locale or manual charsetGravatar monate2003-07-10
* Coqide : ported to lablgtk2 snapshot of 2003/07/07Gravatar monate2003-07-07
* coqide: indentationGravatar monate2003-06-13
* coqide: blaster V1Gravatar monate2003-05-22
* CoqIde: externalsGravatar monate2003-05-20
* coqide: load/save file encoding support/Gravatar monate2003-05-14
* coqide: toolbar/autosaveGravatar monate2003-05-07
* fichier de pref coq IDE en ASCII (ENFIN)Gravatar filliatr2003-04-28
* *** empty log message ***Gravatar monate2003-04-24
* coqide : progressbarGravatar monate2003-04-22
* coqide: locale iso-8859-1 par defaut si probleme. Interdiction des lemmes loc...Gravatar monate2003-03-26
* coqide: compact delete event-search startGravatar monate2003-03-24
* coqide: .coqidepref en bin. Preferences en plusGravatar monate2003-03-12
* coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...Gravatar monate2003-03-07
* coqide: fenetre de cmmandes . undo correctGravatar monate2003-03-06
* CoqIde: Install.ide Revert bugfix.Gravatar monate2003-03-05
* coqide: partage -debug avec coqtopGravatar monate2003-03-04
* IDE: majGravatar monate2003-03-04
* CoqIDE: copy/pasteGravatar monate2003-03-03
* IDE: debug=falseGravatar filliatr2003-03-03
* coqide: preferences support and optimizationsGravatar monate2003-03-03
* coqide updates: copy/paste enhanced. Optimizing coqide on very large inputs. ...Gravatar monate2003-02-27
* coqide: preliminary support for mnemonics. Edit menu. Context help now works ...Gravatar monate2003-02-26
* coqide : aide sur selection ou sur motGravatar monate2003-02-24