Commit message (Expand) | Author | Age | |
---|---|---|---|
* | the new .dir-locals.el thanks to Pierre Courtieu | 2012-10-23 | |
* | Added .dir-locals file to take advantage of emacs 23's new Directory-local va... | 2011-08-01 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | the new .dir-locals.el thanks to Pierre Courtieu | 2012-10-23 | |
* | Added .dir-locals file to take advantage of emacs 23's new Directory-local va... | 2011-08-01 |