| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-09-17 | MacOS integration uses lablgtkosx >= 1.1 | pboutill |
| 2012-04-27 | Coqide MacOS integration refresh | pboutill |
| 2011-06-10 | Coqide Menubar integration in MacOS | pboutill |
| 2011-04-08 | Macos integration step2 : shutdown | pboutill |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |