aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/wg_Segment.mli
Commit message (Expand)AuthorAge
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Fixing bug #4540: CoqIDE bottom progress bar does not update.Gravatar Pierre-Marie Pédrot2016-02-20
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* 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