aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-indent.el
Commit message (Expand)AuthorAge
* (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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-24 11:40:51 +0000