| Age | Commit message (Expand) | Author |
|---|---|---|
| 2011-04-28 | Coqide: try to properly send interrupts to coqtop on Win32 | letouzey |
| 2011-04-21 | Coqide: better handling of stdout/stderr in win32 | letouzey |
| 2011-04-21 | Coqide: a special kill function for win32 | letouzey |
| 2011-04-21 | Coqide: try to avoid displaying error messages on coqide's console | letouzey |
| 2011-04-21 | Win32: remove the need for Coq.bat and Coqide.bat | letouzey |
| 2011-04-21 | Win32: if we make coqide console-free, then stderr/stdout/sdtin shouldn't be ... | letouzey |
| 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 |