diff options
| author | David Aspinall | 1998-11-18 13:44:37 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-18 13:44:37 +0000 |
| commit | 091e673f1ab4b6588f63fb52f7dc5e965272d595 (patch) | |
| tree | 319af1df1a1b83a82303108ddaaefb4a6a2e0356 /generic/proof-script.el | |
| parent | 322f80462f5f40c413a99d58d9baf2924b0fd170 (diff) | |
Added isa-update function. Altered settings.
Diffstat (limited to 'generic/proof-script.el')
0 files changed, 0 insertions, 0 deletions