| Age | Commit message (Expand) | Author |
|---|---|---|
| 2011-04-08 | Macos integration step2 : shutdown | pboutill |
| 2011-03-28 | Ide: new option -coqtop <mycoqtop> + remove wrong quoting of args | letouzey |
| 2011-03-25 | Ide: more reorganisation and cleanup | letouzey |
| 2011-03-23 | Ide: experimentally allow coqide to interrupt or kill coqtop | letouzey |
| 2011-01-07 | MacOS integration | pboutill |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |