index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
span.el
Commit message (
Expand
)
Author
Age
*
span-make-modifying-removing-span: add utility
David Aspinall
2010-10-01
*
Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e....
David Aspinall
2010-08-27
*
span-mapcar-spans-inorder: added for pg-movie production
David Aspinall
2010-08-03
*
span-give-warning: remove, unused.
David Aspinall
2009-09-14
*
(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
*
Renamed file
David Aspinall
2004-08-25