aboutsummaryrefslogtreecommitdiff
path: root/ide/session.ml
AgeCommit message (Expand)Author
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
2013-09-30CoqIDE ported to the revides protocolgareuselesinge
2013-08-20CoqIDE: fixed detection of edits in the locked zonegareuselesinge
2013-08-11Automatic backtracking if locked zone is editedgareuselesinge
2013-08-08Coqide ported to STMgareuselesinge
2013-04-25Coqide: Globalization feedback (proof of concept)gareuselesinge
2013-04-25Coqide: new feedback mechanism for structured contentgareuselesinge
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:14:05 +0000