diff options
| author | David Aspinall | 2009-09-06 15:57:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-06 15:57:47 +0000 |
| commit | 9776eb58e079d5e6970e41e008ff4c2bf2bc1067 (patch) | |
| tree | 1755050ebc32ab631ea10314293f7a6fb67a8bc8 /lib | |
| 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')
0 files changed, 0 insertions, 0 deletions