aboutsummaryrefslogtreecommitdiff
path: root/ide/document.ml
AgeCommit message (Expand)Author
2020-06-02Move CoqIDE to its own folderMaxime Dénès
2020-03-18Update headers in the whole code base.Théo Zimmermann
2019-11-21[coq] Untabify the whole ML codebase.Emilio Jesus Gallego Arias
2019-06-17Update ml-style headers to new year.Théo Zimmermann
2018-02-27Update headers following #6543.Théo Zimmermann
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-02Remove some unused functions.Guillaume Melquiond
2016-01-02Avoid warnings about loop indices.Guillaume Melquiond
2015-01-05Removing GUtil dependency from ide/document.ml.Pierre-Marie Pédrot
2015-01-05Implementing a segment-viewer in CoqIDE.Pierre-Marie Pédrot
2013-10-24CoqIDE: fix coloring bug when jumping back to the first phrasegareuselesinge
2013-10-10Document: undoing inside a focused zone does not require unfocusinggareuselesinge
2013-10-10CoqIDE: move cmd_stack to a separate module: Documentgareuselesinge
2013-10-07CoqIDE: cStack -> Documentgareuselesinge
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:49:26 +0000