index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
generic
/
span-overlay.el
Age
Commit message (
Expand
)
Author
2004-08-25
Renamed file
David Aspinall
2004-03-17
holes debugging.
Pierre Courtieu
2004-03-10
dealing with compile warning for new "hole" code (end hopefully).
Pierre Courtieu
2004-03-10
modification to avoid compile warnings (end)
Pierre Courtieu
2004-03-02
Fix a few compiler warnings
David Aspinall
2004-03-01
Fix buglets shown up by byte compilation.
David Aspinall
2004-02-16
I added some utility functions in generic/span-overlays.el and
Pierre Courtieu
2004-02-08
Update email and web addresses
David Aspinall
2003-02-24
Fix some compile errors
David Aspinall
2002-08-31
Test inhibit-read-only
David Aspinall
2002-08-30
Strict read works on GNU Emacs 21.2.
David Aspinall
2002-08-12
Abstract more functions from concrete cases.
David Aspinall
2002-07-18
Add my name to these
David Aspinall
2002-07-17
Fix span-string, span-object
David Aspinall
2002-07-16
Dodgy patch to fix selection ordering of overlays. PBP works in Emacs now.
David Aspinall
2002-06-21
GPL
David Aspinall
2002-06-12
Second variant of next-span, without doubly nested loop
David Aspinall
2002-06-12
Improve imp of next-span
David Aspinall
2001-08-17
Add span-delete-action hook
David Aspinall
2000-12-14
Add span-object, mapcar-spans
David Aspinall
2000-09-23
Always activate bug fix -- this file only loaded for FSF Emacs.
David Aspinall
2000-09-20
dirty bug fix in next-span to avoid loops with FSF Emacs
Christophe Raffalli
2000-06-27
Minor tweak.
David Aspinall
2000-05-09
Comments.
David Aspinall
1999-11-15
Fixes for FSF overlay obscurity.
David Aspinall
1999-10-06
docstrings
David Aspinall
1999-09-29
Fixes so that proof-strict-read-only can be toggled within a session (via res...
David Aspinall
1999-08-24
Docstring
David Aspinall
1998-12-15
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-11-09
Added proof-strict-read-only, probably a handy new user-option.
David Aspinall
1998-10-01
Updated maintainer tags to remove lego email address.
David Aspinall
1998-10-01
Added documentation for user-level functions.
David Aspinall
1998-09-09
Added Id to headers.
David Aspinall
1998-09-09
Fixup branch number
David Aspinall
1998-09-03
Renamed for new subdirectory structure
David Aspinall