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