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