Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Menubar and toolbar in coqide using GtkUI & Gactions. | pboutill | 2011-06-10 |
* | Ide: new option -coqtop <mycoqtop> + remove wrong quoting of args | letouzey | 2011-03-28 |
* | Ide: more reorganisation and cleanup | letouzey | 2011-03-25 |