aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/document.ml
Commit message (Expand)AuthorAge
* 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
* | Remove some unused functions.Gravatar Guillaume Melquiond2016-01-02
* | Avoid warnings about loop indices.Gravatar Guillaume Melquiond2016-01-02
|/
* Removing GUtil dependency from ide/document.ml.Gravatar Pierre-Marie Pédrot2015-01-05
* Implementing a segment-viewer in CoqIDE.Gravatar Pierre-Marie Pédrot2015-01-05
* CoqIDE: fix coloring bug when jumping back to the first phraseGravatar gareuselesinge2013-10-24
* Document: undoing inside a focused zone does not require unfocusingGravatar gareuselesinge2013-10-10
* CoqIDE: move cmd_stack to a separate module: DocumentGravatar gareuselesinge2013-10-10
* CoqIDE: cStack -> DocumentGravatar gareuselesinge2013-10-07