Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Coqide: new backtracking code, based on the Backtrack command | 2011-09-05 | |
* | Ide_intf: slight reorganisation of the IDE api | 2011-09-05 | |
* | Misc improvements concerning "Show Match" and its coqide equivalent | 2011-08-18 | |
* | Ide_intf: documentation of calls + debug printing of calls/answers | 2011-03-30 | |
* | Ide_intf: remove useless int answer to the "interp" and "rewind" calls | 2011-03-30 | |
* | Ide_slave: better handling of Ctrl-C | 2011-03-30 | |
* | Ide_slave: a more robust current_status () function | 2011-03-28 | |
* | Ide_intf : change type of location in ide | 2011-03-25 | |
* | Ide: stronger separation from coqtop | 2011-03-23 |