diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 15:57:47 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 15:57:47 +0000 |
commit | 9776eb58e079d5e6970e41e008ff4c2bf2bc1067 (patch) | |
tree | 1755050ebc32ab631ea10314293f7a6fb67a8bc8 /lib/span.el | |
parent | 35742816599bca7238f71384b8eb3affc5391456 (diff) |
Tweak point movement in `proof-assert-until-point' and
alter meaning of `proof-only-whitespace-to-locked-region-p';
both now refer to char after point.
Script elements are now stored in hash tables rather than lists.
Diffstat (limited to 'lib/span.el')
0 files changed, 0 insertions, 0 deletions