Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Replacing old-style preferences in CoqIDE. | Pierre-Marie Pédrot | 2015-08-26 |
* | Turning CoqIDE preferences into new style. | Pierre-Marie Pédrot | 2015-08-16 |
* | Update headers. | Maxime Dénès | 2015-01-12 |
* | Fix CoqIDE on windows | Enrico Tassi | 2013-12-10 |
* | Coqide: some more refactoring to lighten coqide.ml | letouzey | 2012-12-10 |