Dependencies on versions of emacs have been moved to span-extent.el

and span-overlay.el.  Definitions of proof-queue-span and
proof-locked-span now in proof.el.

Changed variable names [s]ext to span.

0 files changed, 0 insertions, 0 deletions