Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Never use special chars with >= coq-8.1. | 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. | 2007-05-10 | |
| | |||
* | Added completion to coq-prog-name asking. | 2006-12-13 | |
| | |||
* | utf safe coq mode is not linked to proof-shell-unicode, as unicode is | 2006-09-29 | |
| | | | | not well handle by xemacs. | ||
* | adapting to proof-shell-unicode. Coq has not been adapted to the | 2006-09-29 | |
| | | | | -emacs-U option. | ||
* | Fixed a small bug in indentation of coq. | 2006-08-25 | |
| | | | | Fixed behavior for making abbrev table (don't if it already exists). | ||
* | Cleaning in coq and lib, fixed licenses and docstrings. | 2006-08-23 | |
| | | | | Added one or two details to docstring of generic variables. | ||
* | Started the coq-insert-tactic. | 2006-08-21 | |
| | |||
* | Moved the coq local variables tools in a separate file and made it | 2006-08-17 | |
simpler. |