diff options
| author | Patrick Loiseleur | 1999-04-20 17:13:32 +0000 |
|---|---|---|
| committer | Patrick Loiseleur | 1999-04-20 17:13:32 +0000 |
| commit | fd4101c9830163231aadfeb18dd8fdfb7cec844d (patch) | |
| tree | c8bc7d93e3e6911ee665eadcc39ccf647fa18d5c /isar | |
| parent | 6d1e73f779463872f89b9c0a27b0670898bbd9a8 (diff) | |
Added the correct proof-shell-restart-cmd
Diffstat (limited to 'isar')
0 files changed, 0 insertions, 0 deletions