aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-indent.el
AgeCommit message (Expand)Author
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2010-08-08Checkdoc cleanupsDavid Aspinall
2009-11-30Replace proof-locked-end -> proof-unprocessed-beginDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2008-01-24Fixes and cleanups for coq-indent-line, see Trac #172David Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
2007-02-28Remove proof-indent-pad-eol atrocityDavid Aspinall
2004-01-19revoke broken indent fixGerwin Klein
2003-12-11Fix domain nameDavid Aspinall
2003-04-05Add proof-indent-pad-eol to add useless spacesDavid Aspinall
2002-07-18Remove obsolete functionDavid Aspinall
2002-06-21GPLDavid Aspinall
2001-05-08Copyright date updatedDavid Aspinall
2000-06-08rewrote code from scratch: faster, easier to configure; now enabled by default;Makarius Wenzel
2000-06-01Use proof-comment-{start,end}-regexpDavid Aspinall
2000-05-30TidiedDavid Aspinall
2000-05-29Missing parenthesisDavid Aspinall
2000-05-26Update to use generic option indent-line, and switch insideDavid Aspinall
2000-05-09Improve loadingDavid Aspinall
1999-11-10fixed 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-27proof-parse-to-point improved to support proof-string-start-regexp,Makarius Wenzel
1999-05-26fixed bug in proof-parse-to-point: missing (setq stack ...) in case ofMakarius Wenzel
1998-11-25Docstring fixes, minor improvements.David Aspinall
1998-11-20BIG CHANGES -- SORRY!David Aspinall
1998-11-09Added proof-script-indent user option, to enable indentation code.David Aspinall
1998-10-27Continuing mods for cleaner byte compileDavid Aspinall
1998-10-27Fixes for clean byte compileDavid Aspinall
1998-10-27Begun work on clean byte compilation / clarifying interfaces.David Aspinall
1998-10-20Changed for proof-script-buffer to proof-script-buffer-listDavid Aspinall
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-09-08Added IdDavid Aspinall
1998-09-03Renamed for new subdirectory structureDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:42:51 +0000