diff options
| -rw-r--r-- | ide/coq.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ide/coq.ml b/ide/coq.ml index 6e447df1de..8351149329 100644 --- a/ide/coq.ml +++ b/ide/coq.ml @@ -37,9 +37,13 @@ let msgnl m = (msg m)^"\n" let init () = + (* To hide goal in lower window. + Problem: should not hide "xx is assumed" + messages *) Options.make_silent true; Coqtop.init_ide () + let i = ref 0 let version () = |