diff options
| author | Makarius Wenzel | 1999-07-28 16:59:36 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-07-28 16:59:36 +0000 |
| commit | fe4d2b543a3b7d6e157b04a557667385a928167a (patch) | |
| tree | 4843c250b77df4a2fb81a1c2847be3d438777f8e /html | |
| parent | 7721360a7bc3372bc7eb392338b426e953f91268 (diff) | |
fixed proof-goal-command;
added isar-shell-adjust-line-width;
tuned;
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions