aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/gtk_parsing.ml
Commit message (Expand)AuthorAge
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* minor bugfixes. CoqIde development will resume soon now ...Gravatar vgross2009-05-13
* - per session coq command stackGravatar vgross2009-03-07