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 /isa/Example.ML | |
| parent | 5514f899815b1f6489d441122bf48b8b2213d0c7 (diff) | |
Fix to proof-shell-handle-output (or rather, to setting of proof-shell-last-output)
Diffstat (limited to 'isa/Example.ML')
0 files changed, 0 insertions, 0 deletions