diff options
| -rw-r--r-- | ide/coq_commands.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ide/coq_commands.ml b/ide/coq_commands.ml index 12ef8db74a..80ac5a2004 100644 --- a/ide/coq_commands.ml +++ b/ide/coq_commands.ml @@ -155,6 +155,7 @@ let commands = [ ] let state_preserving = [ + "About"; "Check"; "Eval"; "Eval lazy in"; |