| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-02-21 | Update copyright messages and improve the header of elisp files. | Erik Martin-Dorel | |
| 2010-08-08 | Checkdoc cleanups | David Aspinall | |
| 2009-11-30 | Replace proof-locked-end -> proof-unprocessed-begin | David Aspinall | |
| 2009-09-05 | Clean whitespace | David Aspinall | |
| 2008-01-24 | Fixes and cleanups for coq-indent-line, see Trac #172 | David Aspinall | |
| 2008-01-16 | Reduce compiler warnings. Minor fixes. | David Aspinall | |
| 2008-01-15 | Many rearrangements for compatibility, efficient/correct compilation, ↵ | David Aspinall | |
| namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs). | |||
| 2007-02-28 | Remove proof-indent-pad-eol atrocity | David Aspinall | |
| 2004-01-19 | revoke broken indent fix | Gerwin Klein | |
| 2003-12-11 | Fix domain name | David Aspinall | |
| 2003-04-05 | Add proof-indent-pad-eol to add useless spaces | David Aspinall | |
| 2002-07-18 | Remove obsolete function | David Aspinall | |
| 2002-06-21 | GPL | David Aspinall | |
| 2001-05-08 | Copyright date updated | David Aspinall | |
| 2000-06-08 | rewrote code from scratch: faster, easier to configure; now enabled by default; | Makarius Wenzel | |
| 2000-06-01 | Use proof-comment-{start,end}-regexp | David Aspinall | |
| 2000-05-30 | Tidied | David Aspinall | |
| 2000-05-29 | Missing parenthesis | David Aspinall | |
| 2000-05-26 | Update to use generic option indent-line, and switch inside | David Aspinall | |
| function rather than mode (so can be turned on/off easily). | |||
| 2000-05-09 | Improve loading | David Aspinall | |
| 1999-11-10 | fixed indentation bug: use proof-looking-at (proof-case-fold-search); | Makarius Wenzel | |
| 1999-07-08 | (goto-char (point-min)) rather than (proof-goto-end-of-locked); | Makarius Wenzel | |
| 1999-05-27 | proof-parse-to-point improved to support proof-string-start-regexp, | Makarius Wenzel | |
| proof-string-end-regexp, proof-comment-end, proof-comment-start, and parentheses according to current syntax table; renamed proof-commands-regexp to proof-indent-commands-regexp, which is less confusing); | |||
| 1999-05-26 | fixed bug in proof-parse-to-point: missing (setq stack ...) in case of | Makarius Wenzel | |
| closing a proof command; | |||
| 1998-11-25 | Docstring fixes, minor improvements. | David Aspinall | |
| 1998-11-20 | BIG CHANGES -- SORRY! | David Aspinall | |
| Replaced proof-script-buffer-list with proof-script-buffer. The list was causing too much confusion and nasty bugs used with Isabelle multiple files. Implemented proof-script-buffers and proof-restart-all-buffers, other functions. | |||
| 1998-11-09 | Added proof-script-indent user option, to enable indentation code. | David Aspinall | |
| Disabled by default. May be activated by particular proof assistants if they feel confident about it. I don't. Made proof-indent be autoloaded as needed. Lets pray it won't be. | |||
| 1998-10-27 | Continuing mods for cleaner byte compile | David Aspinall | |
| 1998-10-27 | Fixes for clean byte compile | David Aspinall | |
| 1998-10-27 | Begun work on clean byte compilation / clarifying interfaces. | David Aspinall | |
| 1998-10-20 | Changed for proof-script-buffer to proof-script-buffer-list | David Aspinall | |
| 1998-10-01 | Updated maintainer tags to remove lego email address. | David Aspinall | |
| 1998-09-08 | Added Id | David Aspinall | |
| 1998-09-03 | Renamed for new subdirectory structure | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |