Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add proof-indent-pad-eol to add useless spaces | 2003-04-05 | |
| | |||
* | Remove obsolete function | 2002-07-18 | |
| | |||
* | GPL | 2002-06-21 | |
| | |||
* | Copyright date updated | 2001-05-08 | |
| | |||
* | rewrote code from scratch: faster, easier to configure; now enabled by default; | 2000-06-08 | |
| | |||
* | Use proof-comment-{start,end}-regexp | 2000-06-01 | |
| | |||
* | Tidied | 2000-05-30 | |
| | |||
* | Missing parenthesis | 2000-05-29 | |
| | |||
* | Update to use generic option indent-line, and switch inside | 2000-05-26 | |
| | | | | function rather than mode (so can be turned on/off easily). | ||
* | Improve loading | 2000-05-09 | |
| | |||
* | fixed indentation bug: use proof-looking-at (proof-case-fold-search); | 1999-11-10 | |
| | |||
* | (goto-char (point-min)) rather than (proof-goto-end-of-locked); | 1999-07-08 | |
| | |||
* | proof-parse-to-point improved to support proof-string-start-regexp, | 1999-05-27 | |
| | | | | | | | 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); | ||
* | fixed bug in proof-parse-to-point: missing (setq stack ...) in case of | 1999-05-26 | |
| | | | | closing a proof command; | ||
* | Docstring fixes, minor improvements. | 1998-11-25 | |
| | |||
* | BIG CHANGES -- SORRY! | 1998-11-20 | |
| | | | | | | | | 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. | ||
* | Added proof-script-indent user option, to enable indentation code. | 1998-11-09 | |
| | | | | | | 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. | ||
* | Continuing mods for cleaner byte compile | 1998-10-27 | |
| | |||
* | Fixes for clean byte compile | 1998-10-27 | |
| | |||
* | Begun work on clean byte compilation / clarifying interfaces. | 1998-10-27 | |
| | |||
* | Changed for proof-script-buffer to proof-script-buffer-list | 1998-10-20 | |
| | |||
* | Updated maintainer tags to remove lego email address. | 1998-10-01 | |
| | |||
* | Added Id | 1998-09-08 | |
| | |||
* | Renamed for new subdirectory structure | 1998-09-03 | |