| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-04-27 | Removed the quasi-useless gtk2rc file and the documentation that went with it... | ppedrot |
| 2012-04-11 | Added a background color configuration option in CoqIDE. | ppedrot |
| 2011-11-20 | coqide-gtk2rc not dotted | pboutill |
