Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ide_intf: documentation of calls + debug printing of calls/answers | letouzey | 2011-03-30 |
* | Ide_intf: remove useless int answer to the "interp" and "rewind" calls | letouzey | 2011-03-30 |
* | Ide_slave: better handling of Ctrl-C | letouzey | 2011-03-30 |
* | Ide_intf : change type of location in ide | letouzey | 2011-03-25 |
* | Ide: stronger separation from coqtop | letouzey | 2011-03-23 |