moved graphviz pretty printer outside matita, so that it can be used by other compone...

[helm.git] / matita / lablGraphviz.mli

diff --git a/matita/lablGraphviz.mli b/matita/lablGraphviz.mli
index c15e580b142199751b8a5bec24571f02803b9311..7dcedbf7547870feab94b187cf033a3a533ee31b 100644 (file)
--- a/matita/lablGraphviz.mli
+++ b/matita/lablGraphviz.mli
@@ -66,23 +66,3 @@ val gTwopi: ?packing:(GObj.widget -> unit) -> unit -> graphviz_widget
 val gCirco: ?packing:(GObj.widget -> unit) -> unit -> graphviz_widget
 val gFdp: ?packing:(GObj.widget -> unit) -> unit -> graphviz_widget
 
-(** {2 Pretty printer for generating Graphviz markup} *)
-
-module Pp:
-  sig
-
-    module type GraphvizFormatter =
-      sig
-        val header: ?name:string -> Format.formatter -> unit
-        val node: string -> ?attrs:(attribute list) -> Format.formatter -> unit
-        val edge:
-          string -> string -> ?attrs:(attribute list) -> Format.formatter ->
-            unit
-        val raw: string -> Format.formatter -> unit
-        val trailer: Format.formatter -> unit
-      end
-
-    module Dot: GraphvizFormatter
-
-  end
-