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-overlay.el
Commit message (
Expand
)
Author
Age
*
Always activate bug fix -- this file only loaded for FSF Emacs.
David Aspinall
2000-09-23
*
dirty bug fix in next-span to avoid loops with FSF Emacs
Christophe Raffalli
2000-09-20
*
Minor tweak.
David Aspinall
2000-06-27
*
Comments.
David Aspinall
2000-05-09
*
Fixes for FSF overlay obscurity.
David Aspinall
1999-11-15
*
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
*
Docstring
David Aspinall
1999-08-24
*
Fixes for FSF Emacs handling of processes, kill buffer hooks,
David Aspinall
1998-12-15
*
made many minor changes to the documentation
Thomas Kleymann
1998-12-15
*
Added proof-strict-read-only, probably a handy new user-option.
David Aspinall
1998-11-09
*
Updated maintainer tags to remove lego email address.
David Aspinall
1998-10-01
*
Added documentation for user-level functions.
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