proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Comments. Beginning of drag region code.	David Aspinall	2004-04-02
\|
*	holes implementation, it uses span.el. mouse keybindings work	Pierre Courtieu	2004-02-18
\| \| \| \|	correctly for xemacs (any version) and emacs > 21.
*	Fix typo.	David Aspinall	2003-06-09
\|
*	Extend proof-shell-identifier-under-mouse to allow regions, and also depend ↵	David Aspinall	2003-06-08
\| \| \| \|	on buffer context.
*	Robustness in pg-identifier-under-mouse-query.	David Aspinall	2003-06-08
\|
*	GNU Emacs keybinding for pg-identifier-under-mouse-query	David Aspinall	2003-06-08
\|
*	Add simple but effective identifier-under-mouse-query command.	David Aspinall	2003-06-08
\|
*	By default, do not move pointer on interrupt, only error; tune hints for spans	David Aspinall	2003-06-05
\|
*	Rotate buffers display can display next buffer	David Aspinall	2003-05-24
\|
*	Added hint mechanism	David Aspinall	2003-05-24
\|
*	Fix some compile errors	David Aspinall	2003-02-24
\|
*	Add followdown	David Aspinall	2002-12-29
\|
*	Updated.	David Aspinall	2002-08-30
\|
*	GNU Emacs: avoid using own-clipboard	David Aspinall	2002-08-30
\|
*	Change order of menu	David Aspinall	2002-08-16
\|
*	pg-goals -> pg-assoc	David Aspinall	2002-08-16
\|
*	Fix for moving span duplicable prob. Still not really working	David Aspinall	2002-08-12
\|
*	Generalise proof elements to include comments, show/hiding of comments.	David Aspinall	2002-08-08
\|
*	Add span context menu support for Emacs21.	David Aspinall	2002-08-08
\|
*	Fix condition for displaying dependency menu	David Aspinall	2002-08-08
\|
*	Refactor several variable names; clean up, doc subterm markup and output ↵	David Aspinall	2002-07-16
\| \| \| \|	display.
*	GPL	David Aspinall	2002-06-21
\|
*	Began adding generic line-width adjust	David Aspinall	2002-05-03
\|
*	Year changes	David Aspinall	2002-03-21
\|
*	Bug fix in proof-goto-command-end. Decode x-syms in ↵	David Aspinall	2002-02-23
\| \| \| \|	pg-insert-output-as-comment.
*	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