aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/mac_default_accel_map
Commit message (Expand)AuthorAge
* Coqide MacOS integration refreshGravatar pboutill2012-04-27
* Now CoqIDE has a nice find & replace mechanism. BTW, removing a blob of dead ...Gravatar ppedrot2012-04-23
* Coqide Menubar integration in MacOSGravatar pboutill2011-06-10
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 23:54:46 +0000