aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-indent.el
Commit message (Expand)AuthorAge
* rewrote code from scratch: faster, easier to configure; now enabled by default;Gravatar Makarius Wenzel2000-06-08
* Use proof-comment-{start,end}-regexpGravatar David Aspinall2000-06-01
* TidiedGravatar David Aspinall2000-05-30
* Missing parenthesisGravatar David Aspinall2000-05-29
* Update to use generic option indent-line, and switch insideGravatar David Aspinall2000-05-26
* Improve loadingGravatar David Aspinall2000-05-09
* fixed indentation bug: use proof-looking-at (proof-case-fold-search);Gravatar Makarius Wenzel1999-11-10
* (goto-char (point-min)) rather than (proof-goto-end-of-locked);Gravatar Makarius Wenzel1999-07-08
* proof-parse-to-point improved to support proof-string-start-regexp,Gravatar Makarius Wenzel1999-05-27
* fixed bug in proof-parse-to-point: missing (setq stack ...) in case ofGravatar Makarius Wenzel1999-05-26
* Docstring fixes, minor improvements.Gravatar David Aspinall1998-11-25
* BIG CHANGES -- SORRY!Gravatar David Aspinall1998-11-20
* Added proof-script-indent user option, to enable indentation code.Gravatar David Aspinall1998-11-09
* Continuing mods for cleaner byte compileGravatar David Aspinall1998-10-27
* Fixes for clean byte compileGravatar David Aspinall1998-10-27
* Begun work on clean byte compilation / clarifying interfaces.Gravatar David Aspinall1998-10-27
* Changed for proof-script-buffer to proof-script-buffer-listGravatar David Aspinall1998-10-20
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Added IdGravatar David Aspinall1998-09-08
* Renamed for new subdirectory structureGravatar David Aspinall1998-09-03