diff options
author | 2010-07-01 21:15:44 +0000 | |
---|---|---|
committer | 2010-07-01 21:15:44 +0000 | |
commit | 8dedd5415de018e4ff901faec0fd5e3f02d24781 (patch) | |
tree | 0a18dd11090cbaf5c8319a962bdd2e8060beb481 /isar/isar.el | |
parent | 1a411c647f7af7354ca53f8a8d5158cef512dda1 (diff) |
proof-last-locked-span: save-excursion -> with-current-buffer to avoid
spurious warning in Emacs 23.2
Diffstat (limited to 'isar/isar.el')
0 files changed, 0 insertions, 0 deletions