Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fixing coq project file parsing + moved project options. | Pierre Courtieu | 2013-07-22 |
| | |||
* | 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 |
| | | | | overriding setting in coq.el | ||
* | - 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 |
| | | | | | proof-shell-unicode set to nil by default because of xemacs which needs a library for utf-8. | ||
* | 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 |
| | | | | not well handle by xemacs. | ||
* | adapting to proof-shell-unicode. Coq has not been adapted to the | Pierre Courtieu | 2006-09-29 |
| | | | | -emacs-U option. | ||
* | Fixed a small bug in indentation of coq. | Pierre Courtieu | 2006-08-25 |
| | | | | Fixed behavior for making abbrev table (don't if it already exists). | ||
* | Cleaning in coq and lib, fixed licenses and docstrings. | Pierre Courtieu | 2006-08-23 |
| | | | | Added one or two details to docstring of generic variables. | ||
* | 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 |
simpler. |