aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/span-overlay.el
Commit message (Expand)AuthorAge
* Always activate bug fix -- this file only loaded for FSF Emacs.Gravatar David Aspinall2000-09-23
* dirty bug fix in next-span to avoid loops with FSF EmacsGravatar Christophe Raffalli2000-09-20
* Minor tweak.Gravatar David Aspinall2000-06-27
* Comments.Gravatar David Aspinall2000-05-09
* Fixes for FSF overlay obscurity.Gravatar David Aspinall1999-11-15
* 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
* DocstringGravatar David Aspinall1999-08-24
* Fixes for FSF Emacs handling of processes, kill buffer hooks,Gravatar David Aspinall1998-12-15
* made many minor changes to the documentationGravatar Thomas Kleymann1998-12-15
* Added proof-strict-read-only, probably a handy new user-option.Gravatar David Aspinall1998-11-09
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Added documentation for user-level functions.Gravatar 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