aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-local-vars.el
Commit message (Expand)AuthorAge
* Never use special chars with >= coq-8.1.Gravatar Pierre Courtieu2007-05-10
* Fixed coq prog persistent setting.Gravatar Pierre Courtieu2007-05-10
* Added completion to coq-prog-name asking.Gravatar Pierre Courtieu2006-12-13
* utf safe coq mode is not linked to proof-shell-unicode, as unicode isGravatar Pierre Courtieu2006-09-29
* adapting to proof-shell-unicode. Coq has not been adapted to theGravatar Pierre Courtieu2006-09-29
* Fixed a small bug in indentation of coq.Gravatar Pierre Courtieu2006-08-25
* Cleaning in coq and lib, fixed licenses and docstrings.Gravatar Pierre Courtieu2006-08-23
* Started the coq-insert-tactic.Gravatar Pierre Courtieu2006-08-21
* Moved the coq local variables tools in a separate file and made itGravatar Pierre Courtieu2006-08-17