| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add 'Existing Instances' declaration to declare multiple instances at once. |  letouzey | 2011-04-06 |
| * | 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_slave : fix last commit, use ad_hoc catch_break instead of Sys.catch_break | letouzey | 2011-03-28 |
| * | Ide_slave: improved handling of exceptions (in particular ^C) | letouzey | 2011-03-28 |
| * | Ide_slave: a more robust current_status () function | letouzey | 2011-03-28 |
| * | Ide_intf : change type of location in ide | letouzey | 2011-03-25 |
| * | Ide: stronger separation from coqtop | letouzey | 2011-03-23 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |