aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/wg_ScriptView.ml
Commit message (Expand)AuthorAge
* Selecting whole words on double-click in CoqIDE.Gravatar Pierre-Marie Pédrot2015-02-15
* Making undo/redo atomic in CoqIDE.Gravatar Pierre-Marie Pédrot2015-02-10
* Update headers.Gravatar Maxime Dénès2015-01-12
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* Fixing #2763Gravatar ppedrot2013-02-20
* CoqIDE: Including autocompletion in word proposalsGravatar ppedrot2013-02-20
* Adding scrollbars to CoqIDE autocompletionGravatar ppedrot2013-02-20
* New autocompletion mechanism in CoqIDE. Now provides many answersGravatar ppedrot2013-02-19
* Fixing autocompletion lock in CoqIDEGravatar ppedrot2013-02-13
* Monadification of coqtop queries in CoqIDEGravatar ppedrot2013-01-26
* Better Undo/Redo mechanismGravatar ppedrot2013-01-25
* Trying to fix CoqIDE undo/redo mechanismGravatar ppedrot2013-01-25
* Fixing autocompletion in CoqIDEGravatar ppedrot2013-01-25
* Wg_ScriptView: avoid invalid iters during completionGravatar letouzey2012-12-11
* Coqide: some more refactoring to lighten coqide.mlGravatar letouzey2012-12-10
* Coqide: get rid of threads, use gtk asynchronous i/o insteadGravatar letouzey2012-12-08
* When asked for a SearchAbout request, Coq now returns a more preciseGravatar ppedrot2012-09-09
* Added a comment/uncomment command to CoqIDEGravatar ppedrot2012-09-06
* Updating headers.Gravatar herbelin2012-08-08
* Added the show_margin_right option to CoqIDEGravatar ppedrot2012-06-26
* Fixing annoying autocompletion when deleting text.Gravatar ppedrot2012-06-13
* Cleaned prerr_endline use.Gravatar ppedrot2012-05-23
* Fixed bug #2781... (We hope so.)Gravatar ppedrot2012-05-16
* Trying to fix bug #2780, by short-circuiting the Gtk signals. A bit hackish.Gravatar ppedrot2012-05-16
* Added semantic completion in CoqIDE. (Should also add an option for that...)Gravatar ppedrot2012-05-13
* Rewritten the autocompletion mechanism of CoqIDE, and stuffed itGravatar ppedrot2012-05-08
* Cleanly rewritten the undo manager, which did not support redo and hadGravatar ppedrot2012-05-06
* Renamed Undo to conform to CoqIDE widget naming convention. In addition,Gravatar ppedrot2012-05-05