proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Abstract more functions from concrete cases.	David Aspinall	2002-08-12
\|
*	Add my name to these	David Aspinall	2002-07-18
\|
*	Add span-string.	David Aspinall	2002-07-17
\|
*	GPL	David Aspinall	2002-06-21
\|
*	Tweak liveness test	David Aspinall	2002-06-08
\|
*	Add span-delete-action hook	David Aspinall	2001-08-17
\|
*	Add span-object, mapcar-spans	David Aspinall	2000-12-14
\|
*	Comments.	David Aspinall	2000-05-09
\|
*	Fixes for FSF overlay obscurity.	David Aspinall	1999-11-15
\|
*	Docstring	David Aspinall	1999-11-10
\|
*	docstrings	David Aspinall	1999-10-06
\|
*	Fixes so that proof-strict-read-only can be toggled within a session (via ↵	David Aspinall	1999-09-29
\| \| \| \|	restart).
*	Fixes for FSF Emacs handling of processes, kill buffer hooks,	David Aspinall	1998-12-15
\| \| \| \|	and live/dead overlays.
*	Added proof-strict-read-only, probably a handy new user-option.	David Aspinall	1998-11-09
\| \| \| \| \| \|	Side effect is that it's default value of nil for FSF Emacs avoids the font lock problem with span-read-only for FSF Emacs. XEmacs does not have the warning message implemented yet.
*	Begun work on clean byte compilation / clarifying interfaces.	David Aspinall	1998-10-27
\|
*	Updated maintainer tags to remove lego email address.	David Aspinall	1998-10-01
\|
*	Added doc strings	David Aspinall	1998-10-01
\|
*	Added Id to headers.	David Aspinall	1998-09-09
\|
*	Fixup branch number	David Aspinall	1998-09-09
\|
*	Renamed for new subdirectory structure	David Aspinall	1998-09-03