diff options
| author | Enrico Tassi | 2015-02-05 11:22:26 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-02-05 12:53:46 +0100 |
| commit | 2c0f1eb6f9a6e16b2b4d3a99542df7f49c81f6ea (patch) | |
| tree | 4b6fb7d347faf46d5a7c51637fefd79b85396bd3 /kernel/nativelambda.ml | |
| parent | 5bb1120292b7d0497d04c36631bf49239aa6ddf4 (diff) | |
Fix automatic undo after nonsensical Qed in tty mode (Close: 3980)
Here nonsensical means a Qed/Defined without a Lemma.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions