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