diff options
| author | David Aspinall | 1998-12-11 17:13:08 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-11 17:13:08 +0000 |
| commit | cc6c3612ce5250aa3cd4453d67f34f0198484e0b (patch) | |
| tree | 1a0df0563c11d65d7b326d7065749c69485808c2 /html | |
| parent | 6146b88d7b181cd0c202373c8220b895702a034f (diff) | |
Altered behaviour to allow retraction part-way through finished scripts.
Previously Proof General was asked to unlock a file A.ML as soon as
retraction in it happened. Now Proof General is only asked to unlock the
children of A.ML, although Isabelle records the fact that A.ML has been
retracted. (Which means that if A.ML is later re-linked,
Proof General will correctly get told about it).
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions