index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
span-extent.el
Commit message (
Expand
)
Author
Age
*
holes debugging.
Pierre Courtieu
2004-03-17
*
dealing with compile warning for new "hole" code (end hopefully).
Pierre Courtieu
2004-03-10
*
bug corrections
Pierre Courtieu
2004-03-10
*
forgot some functions in span-extent.el. This is like the previous
Pierre Courtieu
2004-02-16
*
I added some utility functions in generic/span-overlays.el and
Pierre Courtieu
2004-02-16
*
Update email and web addresses
David Aspinall
2004-02-08
*
Strict read works on GNU Emacs 21.2.
David Aspinall
2002-08-30
*
Abstract more functions from concrete cases.
David Aspinall
2002-08-12
*
Add my name to these
David Aspinall
2002-07-18
*
Add span-string.
David Aspinall
2002-07-17
*
GPL
David Aspinall
2002-06-21
*
Tweak liveness test
David Aspinall
2002-06-08
*
Add span-delete-action hook
David Aspinall
2001-08-17
*
Add span-object, mapcar-spans
David Aspinall
2000-12-14
*
Comments.
David Aspinall
2000-05-09
*
Fixes for FSF overlay obscurity.
David Aspinall
1999-11-15
*
Docstring
David Aspinall
1999-11-10
*
docstrings
David Aspinall
1999-10-06
*
Fixes so that proof-strict-read-only can be toggled within a session (via res...
David Aspinall
1999-09-29
*
Fixes for FSF Emacs handling of processes, kill buffer hooks,
David Aspinall
1998-12-15
*
Added proof-strict-read-only, probably a handy new user-option.
David Aspinall
1998-11-09
*
Begun work on clean byte compilation / clarifying interfaces.
David Aspinall
1998-10-27
*
Updated maintainer tags to remove lego email address.
David Aspinall
1998-10-01
*
Added doc strings
David Aspinall
1998-10-01
*
Added Id to headers.
David Aspinall
1998-09-09
*
Fixup branch number
David Aspinall
1998-09-09
*
Renamed for new subdirectory structure
David Aspinall
1998-09-03