proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel	2018-02-21
\|
*	Checkdoc cleanups	David Aspinall	2010-08-08
\|
*	Replace proof-locked-end -> proof-unprocessed-begin	David Aspinall	2009-11-30
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Fixes and cleanups for coq-indent-line, see Trac #172	David Aspinall	2008-01-24
\|
*	Reduce compiler warnings. Minor fixes.	David Aspinall	2008-01-16
\|
*	Many rearrangements for compatibility, efficient/correct compilation, ↵	David Aspinall	2008-01-15
\| \| \| \| \| \| \|	namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
*	Remove proof-indent-pad-eol atrocity	David Aspinall	2007-02-28
\|
*	revoke broken indent fix	Gerwin Klein	2004-01-19
\|
*	Fix domain name	David Aspinall	2003-12-11
\|
*	Add proof-indent-pad-eol to add useless spaces	David Aspinall	2003-04-05
\|
*	Remove obsolete function	David Aspinall	2002-07-18
\|
*	GPL	David Aspinall	2002-06-21
\|
*	Copyright date updated	David Aspinall	2001-05-08
\|
*	rewrote code from scratch: faster, easier to configure; now enabled by default;	Makarius Wenzel	2000-06-08
\|
*	Use proof-comment-{start,end}-regexp	David Aspinall	2000-06-01
\|
*	Tidied	David Aspinall	2000-05-30
\|
*	Missing parenthesis	David Aspinall	2000-05-29
\|
*	Update to use generic option indent-line, and switch inside	David Aspinall	2000-05-26
\| \| \| \|	function rather than mode (so can be turned on/off easily).
*	Improve loading	David Aspinall	2000-05-09
\|
*	fixed indentation bug: use proof-looking-at (proof-case-fold-search);	Makarius Wenzel	1999-11-10
\|
*	(goto-char (point-min)) rather than (proof-goto-end-of-locked);	Makarius Wenzel	1999-07-08
\|
*	proof-parse-to-point improved to support proof-string-start-regexp,	Makarius Wenzel	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	Makarius Wenzel	1999-05-26
\| \| \| \|	closing a proof command;
*	Docstring fixes, minor improvements.	David Aspinall	1998-11-25
\|
*	BIG CHANGES -- SORRY!	David Aspinall	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.	David Aspinall	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	David Aspinall	1998-10-27
\|
*	Fixes for clean byte compile	David Aspinall	1998-10-27
\|
*	Begun work on clean byte compilation / clarifying interfaces.	David Aspinall	1998-10-27
\|
*	Changed for proof-script-buffer to proof-script-buffer-list	David Aspinall	1998-10-20
\|
*	Updated maintainer tags to remove lego email address.	David Aspinall	1998-10-01
\|
*	Added Id	David Aspinall	1998-09-08
\|
*	Renamed for new subdirectory structure	David Aspinall	1998-09-03