diff options
| author | David Aspinall | 1998-10-21 10:09:34 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-21 10:09:34 +0000 |
| commit | 0ecbb5c7c13442f2135ae5972592e17dcb7ef02e (patch) | |
| tree | 3cf1a991ab2fe5715cb1a6285a839ecf74d00a12 /isa/ProofGeneral.ML | |
| parent | 571c2dc2bf8c710a29a70daf338e5a99986c5946 (diff) | |
Added proof-activate-scripting-hook and fixed regexps
Diffstat (limited to 'isa/ProofGeneral.ML')
0 files changed, 0 insertions, 0 deletions