diff options
| author | Hendrik Tews | 2011-01-18 21:46:18 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-01-18 21:46:18 +0000 |
| commit | 358b338316430fe8707780985702b2a925a45abc (patch) | |
| tree | 0c058e30fb1c42a714a40731aa442c99f9007c0d /isar/interface | |
| parent | 680d718e1e3ca280dfc35fc3f1807d0c373a1870 (diff) | |
- fixed stale load path problem with killing the proof shell in
the deactivation-hook
Diffstat (limited to 'isar/interface')
0 files changed, 0 insertions, 0 deletions