aboutsummaryrefslogtreecommitdiff
path: root/ide/session.ml
AgeCommit message (Expand)Author
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-11-07Do not rely on the user settings but on the actual window size. (Fixes #10956)Guillaume Melquiond
2019-09-13Hack for fixing #10578 (wrong initial handle position separating main windows).Hugo Herbelin
2019-07-08[core] [api] Support OCaml 4.08Emilio Jesus Gallego Arias
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2019-06-06Fix panel behavior as requested by #10292Claude Stolze
2019-04-08Fix #9812: CoqIDE on gtk3 has wrong defaults for selection BG.Pierre-Marie Pédrot
2019-03-19CoqIDE: Use modify_bg rather than modify_base to change background color.Hugo Herbelin
2019-03-19CoqIDE: Ensure that the main 3 windows do not shrink when w/o contents.Hugo Herbelin
2019-03-19CoqIDE: Change name of module: Sourceview2 -> Sourceview3Hugo Herbelin
2019-02-11[ide] fix unconditional goto-point on editing an error (fix #9488)Enrico Tassi
2018-12-09[doc] Enable Warning 50 [incorrect doc comment] and fix comments.Emilio Jesus Gallego Arias
2018-03-08coqide: queries from the query window are routed there (fix #5684)Enrico Tassi
2018-02-27Update headers following #6543.Théo Zimmermann
2018-01-19update location on tab switch, issue 6624Paul Steckler
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-04-27Fix omitted labels in function callsGaetan Gilbert
2017-04-20[ide] Set Stateid in query pane.Emilio Jesus Gallego Arias
2016-09-28Do not stop propagation of signals when Coq is busy (bug #3941).Guillaume Melquiond
2016-06-29A new infrastructure for warnings.Maxime Dénès
2016-02-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-02-19CoqIDE: STOP button also stops workers (fix #4542)Enrico Tassi
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-08-26Replacing old-style preferences in CoqIDE.Pierre-Marie Pédrot
2015-08-16Using the new preference mechanism for colors in CoqIDE.Pierre-Marie Pédrot
2015-08-16Turning CoqIDE preferences into new style.Pierre-Marie Pédrot
2015-05-29coqide: don't require ocaml >= 4Enrico Tassi
2015-05-26Jump to error line in CoqIDE grabs focus of the textview.Pierre-Marie Pédrot
2015-05-25CoqIDE columns in error and job panels can be sorted.Pierre-Marie Pédrot
2015-04-02CoqIDE: simpler way of reopening/reclosing a proof (Close: 4168)Enrico Tassi
2015-02-20Fixing bug #4073.Pierre-Marie Pédrot
2015-02-13Trying to fix bug #3930.Pierre-Marie Pédrot
2015-02-12Tentative fix for CoqIDE randomly dropping deletions.Pierre-Marie Pédrot
2015-02-12Focussing on message view in CoqIDE when a message is pushed.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2015-01-05Implementing a segment-viewer in CoqIDE.Pierre-Marie Pédrot
2014-12-17CoqIDE: cleanup jobs window on worker deathEnrico Tassi
2014-09-09IDE: disable editable text area underline when -debugEnrico Tassi
2014-08-05STM: code restructured to reuse task queue for tacticsEnrico Tassi
2014-04-07Allowing proof view to be detached in CoqIDE.Pierre-Marie Pédrot
2014-03-12CoqIDE: Errors page gets red if not emptyEnrico Tassi
2014-03-12CoqIDE: detachable message/error/jobs panesEnrico Tassi
2014-03-04Move error and job display to the lower right pane.Guillaume Melquiond
2013-12-24CoqIDE: new feedback "incomplete" to signal partial QedEnrico Tassi
2013-10-22CoqIDE: always retag on insertgareuselesinge
2013-10-22Wg_Find: regex + case insensitive find/replace supportgareuselesinge
2013-10-10CoqIDE: error reporting fixedgareuselesinge
2013-09-30wg_Command: detachable, less "from the 80s", query panegareuselesinge
2013-09-30wg_Session: fix copy/paste of tagged textgareuselesinge
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:22:30 +0000