diff options
| author | David Aspinall | 1999-10-19 15:38:33 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-19 15:38:33 +0000 |
| commit | 4b4f1dff2a77e2f6547de34607a62356382a09d6 (patch) | |
| tree | c64c476805b61a2fe75263e906e9bdfb41c6f1dc /html | |
| parent | 9ea34be1127204e1555efc02e874b1aa16fb268e (diff) | |
Rename proof-mark-buffer-atomic -> proof-complete-buffer-atomic. make magic
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions