diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2015-03-12 17:46:35 +0100 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2015-03-13 16:41:03 +0100 |
| commit | edb3302188af4b5b75111339e3f466a6ec09aef2 (patch) | |
| tree | 5eeff106590577a84c7c42d1cba35649c2d90776 /kernel/byterun | |
| parent | 71fcb53fd93edcac1925f97d619871e8597e24e2 (diff) | |
Declarative mode: make it so that unfocussing can only be done for closed subproofs.
The front-end is supposed to take care of that, but it may help to catch bugs.
Diffstat (limited to 'kernel/byterun')
0 files changed, 0 insertions, 0 deletions