aboutsummaryrefslogtreecommitdiff
path: root/ide/utils
AgeCommit message (Expand)Author
2016-11-24Fix some documentation typos.Guillaume Melquiond
2016-05-08Removing dead code and unused opens.Pierre-Marie Pédrot
2014-12-09Switch the few remaining iso-latin-1 files to utf8Pierre Letouzey
2014-08-25"allows to", like "allowing to", is improperJason Gross
2014-03-05Remove many superfluous 'open' indicated by ocamlc -w +33Pierre Letouzey
2012-12-08Coqide: use labels for all labelled functionsletouzey
2012-09-12Coqide uses Glib to get the XDG_DATA/CONFIG_HOME/DIRSpboutill
2012-09-04Fix coqide compilation with lablgtk 2.16pboutill
2012-05-23Cleaned prerr_endline use.ppedrot
2012-05-23Revert copy/pasted function in to minilib thanks to clib.cmapboutill
2012-05-16Revert commit 15287 : the env variables are indeed access at launch-timeletouzey
2012-05-08Fixed access to environment variables in CoqIDE. Up to now, thoseppedrot
2012-04-18Fixed the CoqIDE preference widthppedrot
2012-03-28A revolution has come: CoqIDE, now in color. Fixes bug #2704 btw.ppedrot
2011-10-26Fix configuration box bug in recursive callpboutill
2011-10-25Icons in CoqIdE preference panelpboutill
2011-10-25Configuration window of CoqIdE looks more like other Gtk one.pboutill
2011-07-27Coqide: GEdit.combo is deprecated since Gtk2.4! We now use GEdit.combo_box_en...pboutill
2011-04-21Win32: remove the need for Coq.bat and Coqide.batletouzey
2010-09-28Fix function applications without labels (OCaml warning 6)glondu
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2010-02-15Change the customization of modifiers (bug #2210)vgross
2009-11-13Remove dubious call to Obj.magic (and dead code, by the way)glondu
2009-11-13Remove useless call to Obj.magicglondu
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2009-03-27Remove unused mli filesletouzey
2009-03-11Cleanup: remove 3 unused files in ide/letouzey
2008-06-01Quelques amendements liées à la compilation des packages.herbelin
2007-12-06Plus de combinateurs sont passés de Util à Option. Le module Options aspiwack
2007-04-16Fix a bug which sometimes made coqide crash after changingglondu
2006-09-20Declarative Proof Language: main commitcorbinea
2006-04-28Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des '...notin
2006-03-08 r8623@thot: notin | 2006-03-08 12:40:57 +0100notin
2005-11-08Nettoyage suite à la détection par défaut des variables inutilisées par o...herbelin
2004-04-30Achèvement du passage des emprunts à cameleon de Maxence Guesdon de la vers...herbelin
2004-04-13Passage a la version 1.3 sous GPL des outils okey et configwin de cameleon en...herbelin
2003-12-30ameliorations coqidecoq
2003-07-07Coqide : ported to lablgtk2 snapshot of 2003/07/07monate
2003-05-14coqide: load/save file encoding support/monate
2003-05-07coqide: toolbar/autosavemonate
2003-03-24coqide: compact delete event-search startmonate
2003-03-14coqide: maj preferences du wizzardmonate
2003-03-07coqide: corrections pour utf8 de coq. highlight synchrone=repare le bug autor...monate
2003-03-05CoqIde: Install.ide Revert bugfix.monate
2003-03-03coqide: preferences support and optimizationsmonate
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:17:48 +0000