diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-12-07 14:18:00 +0100 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-12-07 15:20:31 +0100 |
commit | 2acc6327e4d8a05898b75cb3abb47b7941ec420a (patch) | |
tree | d1f7a8f4cfa5cfef1521b970dadc586819f3b555 /plugins/btauto | |
parent | 6736fb9db77be8a6f207b95ae0d5f7b3a843dc89 (diff) |
Protecting from a List.nth when applying a command, e.g. C-w, on no CoqIDE buffer.
Diffstat (limited to 'plugins/btauto')
0 files changed, 0 insertions, 0 deletions