diff options
| author | David Aspinall | 2002-11-13 12:37:18 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-11-13 12:37:18 +0000 |
| commit | 316653dc9900acfa974fdb499a0ab482d483f58f (patch) | |
| tree | be827a6774e0b300f393b9f911262f7d111a6731 /html/htmlshow.html | |
| parent | 5514f899815b1f6489d441122bf48b8b2213d0c7 (diff) | |
Fix to proof-shell-handle-output (or rather, to setting of proof-shell-last-output)
Diffstat (limited to 'html/htmlshow.html')
0 files changed, 0 insertions, 0 deletions