diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-09 17:02:58 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-09 17:02:58 +0000 |
| commit | cf98c96512379125e2eafd4188ceaf62f5e54fd0 (patch) | |
| tree | 34fb052f1d2e107cdaf0712952208757d001a697 /isa | |
| parent | 63d725ff980b8cccaf500b1c4d95d0ed3eb19304 (diff) | |
Bug in proof-toggle-active-scripting interactive calling.
Diffstat (limited to 'isa')
0 files changed, 0 insertions, 0 deletions