diff options
| author | David Aspinall | 1998-12-11 17:15:11 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-11 17:15:11 +0000 |
| commit | ad3cf74615236f4fb5dd57e2dc599256c825f093 (patch) | |
| tree | 56eedbecc0836a2ae672278d0826349ca65a417a /html | |
| parent | 1a10f19e8a61388e74ecc60bf603753cb06681fe (diff) | |
Allow even the current scripting buffer to be marked atomically
in case the prover asks it to be. This can happen when loading
theory files in Isabelle.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions