proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Don't mess with overlay priorities.	Stefan Monnier	2014-06-06
\|
*	- change 'span-delete-action in 'span-delete-actions, which is	Hendrik Tews	2011-01-24
\| \| \| \| \|	now a list of functions to be run when the span is deleted. Use span-add-delete-action to add a delete action.
*	span-make-modifying-removing-span: add utility	David Aspinall	2010-10-01
\| \| \| \|	span-make-self-removing-span: rename from span-add-self-removing-span
*	Implement the eagerly anticipated Beyond Script Management Feature No.2 ↵	David Aspinall	2010-08-27
\| \| \| \|	(i.e., automatic preview of next command)
*	span-mapcar-spans-inorder: added for pg-movie production	David Aspinall	2010-08-03
\|
*	span-give-warning: remove, unused.	David Aspinall	2009-09-14
\| \| \| \|	span-write-warning: don't call FUN if inhibit-read-only.
*	(C) date	David Aspinall	2009-09-07
\|
*	More defun->defsubst changes	David Aspinall	2009-09-06
\|
*	span-mapc-spans for span-delete-spans	David Aspinall	2009-09-06
\|
*	set-span-keymap: only override local map, not replace it.	David Aspinall	2009-09-06
\|
*	Fix pareno	David Aspinall	2009-09-06
\|
*	Cleanups	David Aspinall	2009-09-06
\|
*	Tidy whitespace	David Aspinall	2009-09-05
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Tweak version differentiation for compilation	David Aspinall	2008-01-16
\|
*	Many compatibility updates, bug fixes, rearrangements for compilation.	David Aspinall	2008-01-15
\|
*	- Remove wrong docstring on make-detached-span.	David Aspinall	2005-05-17
\| \| \| \| \| \| \|	- Basically rewrite span-overlay.el to better use the built-in overlay facilities. - Complain about the namespace pollution in span*.el.
*	Renamed file	David Aspinall	2004-08-25