index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
span.el
Age
Commit message (
Expand
)
Author
2011-01-24
- change 'span-delete-action in 'span-delete-actions, which is
Hendrik Tews
2010-10-01
span-make-modifying-removing-span: add utility
David Aspinall
2010-08-27
Implement the eagerly anticipated Beyond Script Management Feature No.2 (i.e....
David Aspinall
2010-08-03
span-mapcar-spans-inorder: added for pg-movie production
David Aspinall
2009-09-14
span-give-warning: remove, unused.
David Aspinall
2009-09-07
(C) date
David Aspinall
2009-09-06
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-05
Tidy whitespace
David Aspinall
2008-07-24
Merge changes from Version4Branch.
David Aspinall
2008-01-16
Tweak version differentiation for compilation
David Aspinall
2008-01-15
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2005-05-17
- Remove wrong docstring on make-detached-span.
David Aspinall
2004-08-25
Renamed file
David Aspinall