diff options
| author | David Aspinall | 1998-10-20 10:08:53 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-20 10:08:53 +0000 |
| commit | 6bd063dcc0a48c1b9dbdf4947596d24a0f1f94f6 (patch) | |
| tree | 8bdaa7e6a8d9b615fc89d90b7833bf9157c7f7f2 /html | |
| parent | e103401e809f4dc15e41962331a849a58a999a01 (diff) | |
Changed for proof-script-buffer to proof-script-buffer-list
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions