index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
coq
/
coq-local-vars.el
Commit message (
Expand
)
Author
Age
*
Simplified file variables code.
Pierre Courtieu
2012-06-19
*
Attempt to support stricter bytecomp flags
David Aspinall
2011-10-17
*
eval-when-compile -> eval-when (compile) to avoid defvar coq-prog-name
David Aspinall
2011-08-24
*
- adjust coq-ask-insert-coq-prog-name and doc in coq-local-vars-doc
Hendrik Tews
2011-02-28
*
Fixes in strings/comments from Erik Martin-Dorel
David Aspinall
2010-10-04
*
Fixed a bug in coq "set prog args persistently".
Pierre Courtieu
2010-09-06
*
Move (require 'local-vars-list) from coq.el
David Aspinall
2009-09-10
*
Another V-8-1 test
David Aspinall
2009-09-09
*
Fix compiler warnings.
David Aspinall
2009-09-07
*
Clean whitespace
David Aspinall
2009-09-05
*
Doc fix
David Aspinall
2009-08-28
*
Fixed a bug with local variable setting.
Pierre Courtieu
2008-05-22
*
Fixed a bug with coq-prog-name.
Pierre Courtieu
2008-05-20
*
Never use special chars with >= coq-8.1.
Pierre Courtieu
2007-05-10
*
Fixed coq prog persistent setting.
Pierre Courtieu
2007-05-10
*
Added completion to coq-prog-name asking.
Pierre Courtieu
2006-12-13
*
utf safe coq mode is not linked to proof-shell-unicode, as unicode is
Pierre Courtieu
2006-09-29
*
adapting to proof-shell-unicode. Coq has not been adapted to the
Pierre Courtieu
2006-09-29
*
Fixed a small bug in indentation of coq.
Pierre Courtieu
2006-08-25
*
Cleaning in coq and lib, fixed licenses and docstrings.
Pierre Courtieu
2006-08-23
*
Started the coq-insert-tactic.
Pierre Courtieu
2006-08-21
*
Moved the coq local variables tools in a separate file and made it
Pierre Courtieu
2006-08-17