proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Improved span moving and navigation commands.	David Aspinall	2001-09-05
\|
*	Add commands to move spans up/down. Enable features only if experimental ↵	David Aspinall	2001-09-04
\| \| \| \|	flag set
*	Generalise context menu for other spans; grey out show/hide when unavailable.	David Aspinall	2001-09-03
\|
*	Added copy command, call to dependency menu if proof-depends is loaded.	David Aspinall	2001-08-31
\|
*	pg-insert-last-output-as-comment strips special annotations from last output ↵	David Aspinall	2001-08-30
\| \| \| \|	before inserting as comment.
*	Function name fixes, use idiom property in span for popup menu name.	David Aspinall	2001-08-16
\|
*	Clean-up compile	David Aspinall	2001-07-09
\|
*	Copyright date updated	David Aspinall	2001-05-08
\|
*	goalsave -> proof	David Aspinall	2000-12-20
\|
*	Factor out some material from proof-script.el	David Aspinall	2000-12-14