diff options
| author | David Aspinall | 2000-05-29 15:48:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-29 15:48:03 +0000 |
| commit | 800ed3b35745f7c003c5d02f570532bd0e2500ff (patch) | |
| tree | e823270593ae37cd288d71c0f85b27ea297ebc24 /isar | |
| parent | 57f456593a4de60e177e43121b289266f58424a2 (diff) | |
Add explicit terminators to commands. Generalized isabelle-set-default-cmd.
Diffstat (limited to 'isar')
0 files changed, 0 insertions, 0 deletions