diff options
| author | Enrico Tassi | 2015-05-12 14:19:13 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-05-12 14:19:13 +0200 |
| commit | 17f2b11a9a6bb39379239122e77ec12d0b96ff63 (patch) | |
| tree | b705275f5f8381b7360f4e71c62e6201e5bede53 /kernel | |
| parent | 0803c2dd715e6493c3e4f865bcf9ca2a16318c55 (diff) | |
nice error for Restart outside a proof (Close: #4235)
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions