diff options
| author | Thomas Kleymann | 1998-08-07 15:34:15 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-08-07 15:34:15 +0000 |
| commit | a0254130d7fa2815f7f297c120c5fa737f1f8ed7 (patch) | |
| tree | 1a2e49fde71bbd13fae1f6ada9e772ca3d1e18d1 /isa/example.ML | |
| parent | 5a8c3047901b986fe9d503ed57a832ea88ca41b1 (diff) | |
o removed log entry
o monitoring the end of imports is now implemented via
a new proof-shell-process-output-system-specific hook
Diffstat (limited to 'isa/example.ML')
0 files changed, 0 insertions, 0 deletions