aboutsummaryrefslogtreecommitdiff
path: root/ide/wg_ScriptView.ml
AgeCommit message (Expand)Author
2013-02-20Fixing #2763ppedrot
2013-02-20CoqIDE: Including autocompletion in word proposalsppedrot
2013-02-20Adding scrollbars to CoqIDE autocompletionppedrot
2013-02-19New autocompletion mechanism in CoqIDE. Now provides many answersppedrot
2013-02-13Fixing autocompletion lock in CoqIDEppedrot
2013-01-26Monadification of coqtop queries in CoqIDEppedrot
2013-01-25Better Undo/Redo mechanismppedrot
2013-01-25Trying to fix CoqIDE undo/redo mechanismppedrot
2013-01-25Fixing autocompletion in CoqIDEppedrot
2012-12-11Wg_ScriptView: avoid invalid iters during completionletouzey
2012-12-10Coqide: some more refactoring to lighten coqide.mlletouzey
2012-12-08Coqide: get rid of threads, use gtk asynchronous i/o insteadletouzey
2012-09-09When asked for a SearchAbout request, Coq now returns a more preciseppedrot
2012-09-06Added a comment/uncomment command to CoqIDEppedrot
2012-08-08Updating headers.herbelin
2012-06-26Added the show_margin_right option to CoqIDEppedrot
2012-06-13Fixing annoying autocompletion when deleting text.ppedrot
2012-05-23Cleaned prerr_endline use.ppedrot
2012-05-16Fixed bug #2781... (We hope so.)ppedrot
2012-05-16Trying to fix bug #2780, by short-circuiting the Gtk signals. A bit hackish.ppedrot
2012-05-13Added semantic completion in CoqIDE. (Should also add an option for that...)ppedrot
2012-05-08Rewritten the autocompletion mechanism of CoqIDE, and stuffed itppedrot
2012-05-06Cleanly rewritten the undo manager, which did not support redo and hadppedrot
2012-05-05Renamed Undo to conform to CoqIDE widget naming convention. In addition,ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:42:34 +0000