aboutsummaryrefslogtreecommitdiff
path: root/ide/wg_ScriptView.ml
AgeCommit message (Expand)Author
2020-04-12CoqIDE completion: Relying on INSERT mark of the buffer.Hugo Herbelin
2020-03-18Update headers in the whole code base.Théo Zimmermann
2020-01-16Adding an option to change the autocompletion delay.Pierre-Marie Pédrot
2020-01-16Hacking a completion widget based on the default GtkSourceView one.Pierre-Marie Pédrot
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-10-08Fix #10842: incorrect handling of unicode input before spacecharguer
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-04-08Fix #9812: CoqIDE on gtk3 has wrong defaults for selection BG.Pierre-Marie Pédrot
2019-03-22Merge PR #8560: Unicode bindings for CoqIDE that works out of the boxPierre-Marie Pédrot
2019-03-19Fix for post-beta3 lablgtk3 changes about cairo (from Claudio).Hugo Herbelin
2019-03-19CoqIDE: Use modify_bg rather than modify_base to change background color.Hugo Herbelin
2019-03-19CoqIDE: Change name of module: Sourceview2 -> Sourceview3Hugo Herbelin
2019-03-18[ide] Address warning 50Vincent Laporte
2019-03-18final polishing for coqide bindingscharguer
2019-03-18support for coqide commande line argumentscharguer
2019-03-18working set of bindingscharguer
2019-03-18latex to unicode in coqidecharguer
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-02-27Update headers following #6543.Théo Zimmermann
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-04-27Use [method!] to override methods (warning 7)Gaetan Gilbert
2017-04-27Fix omitted labels in function callsGaetan Gilbert
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:44:11 +0000