aboutsummaryrefslogtreecommitdiff
path: root/span-overlay.el
AgeCommit message (Collapse)Author
1998-09-03Renamed for new subdirectory structureDavid Aspinall
1998-08-11New branchDavid Aspinall
1998-06-10Wrote generic span functions for making spans read-only or read-write.Healfdene Goguen
Fixed bug in add-span and remove-span concerning return value of span-traverse.
1998-06-10Compare span-end first rather than span-start in span-lt, becauseHealfdene Goguen
proof-lock-span is often changed and has starting point 1. Factored out common code of add-span and remove-span into span-traverse.
1998-06-03Changed last-span to before-list.Healfdene Goguen
Added definitions of foldr and foldl if they aren't already loaded. Changed definitions of add-span, remove-span and find-span-aux to be non-recursive. Removed detach-extent since this file isn't used by xemacs. Added function append-unique to avoid repetitions in list generated by spans-at-region. Changed next-span so it uses member-if.
1998-06-02Corrected comment about this being for emacs19.Healfdene Goguen
1998-05-29o outsourced indentation to proof-indentThomas Kleymann
o support indentation of commands o replaced test of Emacs version with availability test of specific features o C-c C-c, C-c C-v and M-tab is now available in all buffers
1998-05-21Removed uninitialized os variable in spans-at-region.Healfdene Goguen
1998-05-21Initialize 'before pointer in add-span-aux when last-span is nil.Healfdene Goguen
Removed span-at-type. Fixed bug in span-at-before, where (span-start span) may be nil. Added spans-at-(point|region)[-prop], which fixes bug of C-c u at end of buffer.
1998-05-19Added header and log message.Healfdene Goguen
Fixed set-span-endpoints so it preserves invariant. Changed add-span and remove-span so that they update last-span correctly themselves, and don't take last-span as an argument.
1998-05-15Dependencies on versions of emacs have been moved to span-extent.elHealfdene Goguen
and span-overlay.el. This file was developed under xemacs, but runs for emacs19 as well.