diff options
| author | David Aspinall | 1999-10-20 16:02:30 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-20 16:02:30 +0000 |
| commit | 6ed9aea8d30a2eabe4d7b52c5e1cb096fe792ad2 (patch) | |
| tree | d2fbbdf7b10be15fba65922c6f7842261b9c080c /html | |
| parent | 24de31acb9c8cfc8f0c84efe24783f33151bbc36 (diff) | |
Add isa-shell-update-thy at the end of proof-activate-scripting-hook.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions