aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/span-extent.el
Commit message (Expand)AuthorAge
* Add span-string.Gravatar David Aspinall2002-07-17
* GPLGravatar David Aspinall2002-06-21
* Tweak liveness testGravatar David Aspinall2002-06-08
* Add span-delete-action hookGravatar David Aspinall2001-08-17
* Add span-object, mapcar-spansGravatar David Aspinall2000-12-14
* Comments.Gravatar David Aspinall2000-05-09
* Fixes for FSF overlay obscurity.Gravatar David Aspinall1999-11-15
* DocstringGravatar David Aspinall1999-11-10
* docstringsGravatar David Aspinall1999-10-06
* Fixes so that proof-strict-read-only can be toggled within a session (via res...Gravatar David Aspinall1999-09-29
* Fixes for FSF Emacs handling of processes, kill buffer hooks,Gravatar David Aspinall1998-12-15
* Added proof-strict-read-only, probably a handy new user-option.Gravatar David Aspinall1998-11-09
* Begun work on clean byte compilation / clarifying interfaces.Gravatar David Aspinall1998-10-27
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Added doc stringsGravatar David Aspinall1998-10-01
* Added Id to headers.Gravatar David Aspinall1998-09-09
* Fixup branch numberGravatar David Aspinall1998-09-09
* Renamed for new subdirectory structureGravatar David Aspinall1998-09-03