diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-08-30 22:29:27 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-08-30 22:29:27 +0000 |
commit | b98a2d4a291aae264cbc36982667ef487171e0f7 (patch) | |
tree | a0f942ed93416ca4dc4ecc888718e0c214e8c058 /isar/interface | |
parent | 5cd52d24518af9ae7fca90b21ea13905dbe0e407 (diff) |
use isar-markup-ml;
eliminated superficial semicolons;
fixed proof-shell-quit-cmd;
Diffstat (limited to 'isar/interface')
0 files changed, 0 insertions, 0 deletions