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