aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/utils
Commit message (Expand)AuthorAge
* Coqide: use labels for all labelled functionsGravatar letouzey2012-12-08
* Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRSGravatar pboutill2012-09-12
* Fix coqide compilation with lablgtk 2.16Gravatar pboutill2012-09-04
* Cleaned prerr_endline use.Gravatar ppedrot2012-05-23
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* Revert commit 15287 : the env variables are indeed access at launch-timeGravatar letouzey2012-05-16
* Fixed access to environment variables in CoqIDE. Up to now, thoseGravatar ppedrot2012-05-08
* Fixed the CoqIDE preference widthGravatar ppedrot2012-04-18
* A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.Gravatar ppedrot2012-03-28
* Fix configuration box bug in recursive callGravatar pboutill2011-10-26
* Icons in CoqIdE preference panelGravatar pboutill2011-10-25
* Configuration window of CoqIdE looks more like other Gtk one.Gravatar pboutill2011-10-25
* Coqide: GEdit.combo is deprecated since Gtk2.4! We now use GEdit.combo_box_en...Gravatar pboutill2011-07-27
* Win32: remove the need for Coq.bat and Coqide.batGravatar letouzey2011-04-21
* Fix function applications without labels (OCaml warning 6)Gravatar glondu2010-09-28
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Change the customization of modifiers (bug #2210)Gravatar vgross2010-02-15
* Remove dubious call to Obj.magic (and dead code, by the way)Gravatar glondu2009-11-13
* Remove useless call to Obj.magicGravatar glondu2009-11-13
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Remove unused mli filesGravatar letouzey2009-03-27
* Cleanup: remove 3 unused files in ide/Gravatar letouzey2009-03-11
* Quelques amendements liées à la compilation des packages.Gravatar herbelin2008-06-01
* Plus de combinateurs sont passés de Util à Option. Le module Options Gravatar aspiwack2007-12-06
* Fix a bug which sometimes made coqide crash after changingGravatar glondu2007-04-16
* Declarative Proof Language: main commitGravatar corbinea2006-09-20
* Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...Gravatar notin2006-04-28
* r8623@thot: notin | 2006-03-08 12:40:57 +0100Gravatar notin2006-03-08
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* Achèvement du passage des emprunts à cameleon de Maxence Guesdon de la vers...Gravatar herbelin2004-04-30
* Passage a la version 1.3 sous GPL des outils okey et configwin de cameleon en...Gravatar herbelin2004-04-13
* ameliorations coqideGravatar coq2003-12-30
* Coqide : ported to lablgtk2 snapshot of 2003/07/07Gravatar monate2003-07-07
* coqide: load/save file encoding support/Gravatar monate2003-05-14
* coqide: toolbar/autosaveGravatar monate2003-05-07
* coqide: compact delete event-search startGravatar monate2003-03-24
* coqide: maj preferences du wizzardGravatar monate2003-03-14
* coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...Gravatar monate2003-03-07
* CoqIde: Install.ide Revert bugfix.Gravatar monate2003-03-05
* coqide: preferences support and optimizationsGravatar monate2003-03-03