| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-01-14 | 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 |
| 2015-12-14 | Refactoring. New file coq-system.el. | Pierre Courtieu |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |