aboutsummaryrefslogtreecommitdiffhomepage
path: root/toplevel/ide_slave.mli
Commit message (Expand)AuthorAge
* Updating headers.Gravatar herbelin2012-08-08
* Coqide: new backtracking code, based on the Backtrack commandGravatar letouzey2011-09-05
* Ide: stronger separation from coqtopGravatar letouzey2011-03-23