aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coqOps.ml
Commit message (Expand)AuthorAge
* CoqIDE: remove useless printGravatar Enrico Tassi2016-06-07
* Feedback cleanupGravatar Emilio Jesus Gallego Arias2016-05-31
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-05-09
|\
| * Use the actual location of an error in the error pane (bug #4169).Gravatar Guillaume Melquiond2016-05-09
* | Removing dead code and unused opens.Gravatar Pierre-Marie Pédrot2016-05-08
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-03-18
|\|
| * CoqIDE is more resilient to initialization errors.Gravatar Pierre-Marie Pédrot2016-03-15
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-02-21
|\|
| * Fixing bug #4540: CoqIDE bottom progress bar does not update.Gravatar Pierre-Marie Pédrot2016-02-20
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2016-01-21
|\|
| * Update copyright headers.Gravatar Maxime Dénès2016-01-20
* | Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-30
|\|
| * Fix typo.Gravatar Guillaume Melquiond2015-10-30
* | Rich printing of CoqIDE protocol failure.Gravatar Pierre-Marie Pédrot2015-09-20
* | Rich printing of messages.Gravatar Pierre-Marie Pédrot2015-09-20
* | Adding rich printing primitives.Gravatar Pierre-Marie Pédrot2015-09-20
* | Merge branch 'v8.5' into trunkGravatar Maxime Dénès2015-09-17
|\|
| * Removing a warning in CoqOps.Gravatar Pierre-Marie Pédrot2015-09-15
* | Replacing old-style preferences in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-26
* | Using the new preference mechanism for colors in CoqIDE.Gravatar Pierre-Marie Pédrot2015-08-16
* | Turning CoqIDE preferences into new style.Gravatar Pierre-Marie Pédrot2015-08-16
|/
* CoqIDE: recenter on backtrack (Close: #4277)Gravatar Enrico Tassi2015-07-11
* Fix by Enrico on CoqIDE not locating errors anymore since 550da87456a.Gravatar Hugo Herbelin2015-06-16
* CoqIDE: simpler way of reopening/reclosing a proof (Close: 4168)Gravatar Enrico Tassi2015-04-02
* CoqIDE: fix tag colors to support superposing unsafe and partialGravatar Enrico Tassi2015-03-11
* CoqIDE: do not lose tag on Qed ending focused proofGravatar Enrico Tassi2015-03-11
* CoqIDE: correclty unfocus (remove all tags) when jumping out of a proofGravatar Enrico Tassi2015-02-25
* Fixing bug #4037.Gravatar Pierre-Marie Pédrot2015-02-15
* Made the CoqIDE progress gutter clickable.Gravatar Pierre-Marie Pédrot2015-01-29
* Update headers.Gravatar Maxime Dénès2015-01-12
* Implementing a segment-viewer in CoqIDE.Gravatar Pierre-Marie Pédrot2015-01-05
* CoqIDE: better messagesGravatar Enrico Tassi2014-12-17
* Feedback: API cleaned up, documented and made user extensibleGravatar Enrico Tassi2014-11-27
* IDE: escape popup text (close: 3600)Gravatar Enrico Tassi2014-09-09
* Quick fix for avoiding infinitely many respawning and Warning "CoqGravatar Hugo Herbelin2014-08-12
* STM: code restructured to reuse task queue for tacticsGravatar Enrico Tassi2014-08-05
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* CoqIDE: better error reporting for Qed on incomplete proofGravatar Enrico Tassi2014-03-26
* Stm: smarter delegation policyGravatar Enrico Tassi2014-03-12
* STM + CoqIDE: stop_worker message and UIGravatar Enrico Tassi2014-01-30
* STM: tell the user if the master is recomputing states validated by workersGravatar Enrico Tassi2014-01-30
* CoqIDE: do not unfocus if not needed on errors (closes: 3197)Gravatar Enrico Tassi2014-01-06
* CoqIDE: new feedback "incomplete" to signal partial QedGravatar Enrico Tassi2013-12-24
* CoqIDE: show error message for parsing errorsGravatar Enrico Tassi2013-11-27
* CoqIDE: scroll to the right position if there is an interp errorGravatar gareuselesinge2013-10-31
* CoqIDE: fix coloring bug when jumping back to the first phraseGravatar gareuselesinge2013-10-24
* cList: set-as-list functions are now with an explicit comparisonGravatar letouzey2013-10-23
* CoqIDE: do not try to backtrack to a dummy idGravatar gareuselesinge2013-10-22
* CoqIDE: display in the errors window also the slaves statusGravatar gareuselesinge2013-10-22
* CoqIDE: error reporting fixedGravatar gareuselesinge2013-10-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-23 03:38:56 +0000