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