Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fail silently if Coq's version can't be detected | Clément Pit--Claudel | 2016-05-19 |
* | Small fix for -Q options in loadpath. | Pierre Courtieu | 2016-03-08 |
* | Remove leftover comment | Clément Pit--Claudel | 2016-02-28 |
* | Ensure that version detection does not fail in 24.3 | Clément Pit--Claudel | 2016-02-06 |
* | Use coq-prog-name to autodetect version number | Clément Pit--Claudel | 2016-02-06 |
* | Add a few comments to explain values of coq-load-path | Clément Pit--Claudel | 2016-01-14 |
* | Mark coq-load-path-include-current as obsolete | Clément Pit--Claudel | 2016-01-14 |
* | Automatically detect which version of Coq we're using | Clément Pit--Claudel | 2016-01-14 |
* | Refactor the project file parsing code | Clément Pit--Claudel | 2016-01-14 |
* | Refactoring. New file coq-system.el. | Pierre Courtieu | 2015-12-14 |