| 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 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |