diff options
| author | Pierre Boutillier | 2014-04-10 16:17:12 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-04-10 16:25:09 +0200 |
| commit | 4ec840d145927b0dd6ec1040a8a5ff573a0d7685 (patch) | |
| tree | 203670e56f04dcb5bf1a38228bc59ad32c934f12 /kernel/inductive.ml | |
| parent | 29de26213adaa8b75320bee6897218d5e8d54663 (diff) | |
coqtop -batch refuses Back 1 but accepts Undo.
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions