aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-local-vars.el
AgeCommit message (Expand)Author
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-12-12Cleanup patch; Moving defvar to toplevelStefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-05-05Change (eval-when (compile) ...) to (eval-when-compile ...)Clément Pit--Claudel
2017-03-08Fix incorrect uses of defvarClément Pit--Claudel
2013-07-22Fixing coq project file parsing + moved project options.Pierre Courtieu
2012-06-19Simplified file variables code.Pierre Courtieu
2011-10-17Attempt to support stricter bytecomp flagsDavid Aspinall
2011-08-24eval-when-compile -> eval-when (compile) to avoid defvar coq-prog-nameDavid Aspinall
2011-02-28- adjust coq-ask-insert-coq-prog-name and doc in coq-local-vars-docHendrik Tews
2010-10-04Fixes in strings/comments from Erik Martin-DorelDavid Aspinall
2010-09-06Fixed a bug in coq "set prog args persistently".Pierre Courtieu
2009-09-10Move (require 'local-vars-list) from coq.elDavid Aspinall
2009-09-09Another V-8-1 testDavid Aspinall
2009-09-07Fix compiler warnings.David Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-08-28Doc fixDavid Aspinall
2008-05-22Fixed a bug with local variable setting.Pierre Courtieu
2008-05-20Fixed a bug with coq-prog-name.Pierre Courtieu
2007-05-10Never use special chars with >= coq-8.1.Pierre Courtieu
2007-05-10Fixed coq prog persistent setting.Pierre Courtieu
2006-12-13Added completion to coq-prog-name asking.Pierre Courtieu
2006-09-29utf safe coq mode is not linked to proof-shell-unicode, as unicode isPierre Courtieu
2006-09-29adapting to proof-shell-unicode. Coq has not been adapted to thePierre Courtieu
2006-08-25Fixed a small bug in indentation of coq.Pierre Courtieu
2006-08-23Cleaning in coq and lib, fixed licenses and docstrings.Pierre Courtieu
2006-08-21Started the coq-insert-tactic.Pierre Courtieu
2006-08-17Moved the coq local variables tools in a separate file and made itPierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:23:35 +0000