aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-indent.el
Commit message (Expand)AuthorAge
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* Replace proof-locked-end -> proof-unprocessed-beginGravatar David Aspinall2009-11-30
* Clean whitespaceGravatar David Aspinall2009-09-05
* Fixes and cleanups for coq-indent-line, see Trac #172Gravatar David Aspinall2008-01-24
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Remove proof-indent-pad-eol atrocityGravatar David Aspinall2007-02-28
* revoke broken indent fixGravatar Gerwin Klein2004-01-19
* Fix domain nameGravatar David Aspinall2003-12-11
* Add proof-indent-pad-eol to add useless spacesGravatar David Aspinall2003-04-05
* Remove obsolete functionGravatar David Aspinall2002-07-18
* GPLGravatar David Aspinall2002-06-21
* Copyright date updatedGravatar David Aspinall2001-05-08
* 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