aboutsummaryrefslogtreecommitdiff
path: root/ide/coqOps.ml
AgeCommit message (Expand)Author
2016-03-18Merge branch 'v8.5'Pierre-Marie Pédrot
2016-03-15CoqIDE is more resilient to initialization errors.Pierre-Marie Pédrot
2016-02-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-02-20Fixing bug #4540: CoqIDE bottom progress bar does not update.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-30Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-30Fix typo.Guillaume Melquiond
2015-09-20Rich printing of CoqIDE protocol failure.Pierre-Marie Pédrot
2015-09-20Rich printing of messages.Pierre-Marie Pédrot
2015-09-20Adding rich printing primitives.Pierre-Marie Pédrot
2015-09-17Merge branch 'v8.5' into trunkMaxime Dénès
2015-09-15Removing a warning in CoqOps.Pierre-Marie Pédrot
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-07-11CoqIDE: recenter on backtrack (Close: #4277)Enrico Tassi
2015-06-16Fix by Enrico on CoqIDE not locating errors anymore since 550da87456a.Hugo Herbelin
2015-04-02CoqIDE: simpler way of reopening/reclosing a proof (Close: 4168)Enrico Tassi
2015-03-11CoqIDE: fix tag colors to support superposing unsafe and partialEnrico Tassi
2015-03-11CoqIDE: do not lose tag on Qed ending focused proofEnrico Tassi
2015-02-25CoqIDE: correclty unfocus (remove all tags) when jumping out of a proofEnrico Tassi
2015-02-15Fixing bug #4037.Pierre-Marie Pédrot
2015-01-29Made the CoqIDE progress gutter clickable.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: better messagesEnrico Tassi
2014-11-27Feedback: API cleaned up, documented and made user extensibleEnrico Tassi
2014-09-09IDE: escape popup text (close: 3600)Enrico Tassi
2014-08-12Quick fix for avoiding infinitely many respawning and Warning "CoqHugo Herbelin
2014-08-05STM: code restructured to reuse task queue for tacticsEnrico Tassi
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2014-03-26CoqIDE: better error reporting for Qed on incomplete proofEnrico Tassi
2014-03-12Stm: smarter delegation policyEnrico Tassi
2014-01-30STM + CoqIDE: stop_worker message and UIEnrico Tassi
2014-01-30STM: tell the user if the master is recomputing states validated by workersEnrico Tassi
2014-01-06CoqIDE: do not unfocus if not needed on errors (closes: 3197)Enrico Tassi
2013-12-24CoqIDE: new feedback "incomplete" to signal partial QedEnrico Tassi
2013-11-27CoqIDE: show error message for parsing errorsEnrico Tassi
2013-10-31CoqIDE: scroll to the right position if there is an interp errorgareuselesinge
2013-10-24CoqIDE: fix coloring bug when jumping back to the first phrasegareuselesinge
2013-10-23cList: set-as-list functions are now with an explicit comparisonletouzey
2013-10-22CoqIDE: do not try to backtrack to a dummy idgareuselesinge
2013-10-22CoqIDE: display in the errors window also the slaves statusgareuselesinge
2013-10-10CoqIDE: error reporting fixedgareuselesinge
2013-10-10CoqIDE: ported to Documentgareuselesinge
2013-10-10CoqIDE: move cmd_stack to a separate module: Documentgareuselesinge
2013-10-07CoqIDE: fix jumpig out of a focused proofgareuselesinge
2013-10-07CoqIDE: cStack -> Documentgareuselesinge
2013-10-01CoqIDE: when checking the whole document, center script view on errorgareuselesinge
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:02:10 +0000