aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/document.mli
Commit message (Expand)AuthorAge
* 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: move cmd_stack to a separate module: DocumentGravatar gareuselesinge2013-10-10
* CoqIDE: cStack -> DocumentGravatar gareuselesinge2013-10-07