| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-01-25 | Better handling of escape find in CoqIDE | ppedrot |
| 2012-04-27 | Coqide MacOS integration refresh | pboutill |
| 2012-04-23 | Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ... | ppedrot |
| 2011-06-10 | Coqide Menubar integration in MacOS | pboutill |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |