all coqide specific files moved into ide/

lib/interface split into:
 - lib/feedback
     subscribe-based feedback bus (also used by coqidetop)
 - ide/interface
     definition of coqide protocol messages
   lib/pp
     structured info/err/warn messages

lib/serialize split into:
 - lib/serialize
     generic xml serialization (list, pairs, int, loc, ...)
     used by coqide but potentially useful to other interfaces
 - ide/xmlprotocol
     serialization of protocol messages as in ide/interface

the only drawback is that coqidetop needs -thread
and I had to pass that option to all files in ide/

1 files changed, 4 insertions, 4 deletions

diff --git a/ide/wg_MessageView.ml b/ide/wg_MessageView.ml
index f58cdc647..cd3e31135 100644
--- a/ide/wg_MessageView.ml
+++ b/ide/wg_MessageView.ml
@@ -12,7 +12,7 @@ class type message_view =
     method clear : unit
     method add : string -> unit
     method set : string -> unit
-    method push : Interface.message_level -> string -> unit
+    method push : Pp.message_level -> string -> unit
       (** same as [add], but with an explicit level instead of [Notice] *)
     method buffer : GText.buffer
       (** for more advanced text edition *)
@@ -43,8 +43,8 @@ let message_view () : message_view =
 
     method push level msg =
       let tags = match level with
-      | Interface.Error -> [Tags.Message.error]
-      | Interface.Warning -> [Tags.Message.warning]
+      | Pp.Error -> [Tags.Message.error]
+      | Pp.Warning -> [Tags.Message.warning]
       | _ -> []
       in
       if msg <> "" then begin
@@ -52,7 +52,7 @@ let message_view () : message_view =
         buffer#insert ~tags "\n"
       end
 
-    method add msg = self#push Interface.Notice msg
+    method add msg = self#push Pp.Notice msg
 
     method set msg = self#clear; self#add msg