aboutsummaryrefslogtreecommitdiff
path: root/ide/wg_ScriptView.ml
AgeCommit message (Expand)Author
2016-05-08Removing dead code and unused opens.Pierre-Marie Pédrot
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-10-15Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-13Fix some typos.Guillaume Melquiond
2015-08-31Switching to an event-based mechanism for CoqIDE preferences.Pierre-Marie Pédrot
2015-08-16Using the new preference mechanism for colors in CoqIDE.Pierre-Marie Pédrot
2015-02-15Selecting whole words on double-click in CoqIDE.Pierre-Marie Pédrot
2015-02-10Making undo/redo atomic in CoqIDE.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2014-03-05Remove many superfluous 'open' indicated by ocamlc -w +33Pierre Letouzey
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 19:17:12 +0000