aboutsummaryrefslogtreecommitdiff
path: root/ide/undo.ml
AgeCommit message (Expand)Author
2012-05-05Renamed Undo to conform to CoqIDE widget naming convention. In addition,ppedrot
2012-05-02Quick workaround to handle badly designed Sourceview package.ppedrot
2012-05-02undoable_view is a source_viewpboutill
2010-11-07Improved error messages in CoqIDE:herbelin
2010-10-31Remove some unnecessary (?) "open Ideutils"glondu
2010-07-24Updated all headers for 8.3 and trunkherbelin
2010-04-29Remove the svn-specific $Id$ annotationsletouzey
2009-09-17Delete trailing whitespaces in all *.{v,ml*} filesglondu
2005-11-23bug de coqide sous windows (bad file descriptor)barras
2005-11-17implement support for drgeocamlnarboux
2005-11-08Nettoyage suite à la détection par défaut des variables inutilisées par o...herbelin
2004-07-16Nouvelle en-têteherbelin
2003-07-07Coqide : ported to lablgtk2 snapshot of 2003/07/07monate
2003-05-22coqide: blaster V1monate
2003-05-07coqide: toolbar/autosavemonate
2003-04-22Coqide : bug undomonate
2003-03-24coqide: compact delete event-search startmonate
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-06coqide: le undomonate
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:19:14 +0000