matitamake is integrated with matita

[helm.git] / helm / matita / matitamakeLib.mli

diff --git a/helm/matita/matitamakeLib.mli b/helm/matita/matitamakeLib.mli
index 70712266804fc02d1a27f90b456140be81293f7b..4addbbf2bfb38a522f0d80caa1874e13876654a6 100644 (file)
--- a/helm/matita/matitamakeLib.mli
+++ b/helm/matita/matitamakeLib.mli
@@ -42,5 +42,8 @@ val list_known_developments: unit -> (string * string ) list
 val destroy_development: development -> unit
 (* initiale internal data structures *)
 val initialize : unit -> unit
-
+(* gives back the root *)
+val root_for_development : development -> string 
+(* gives back the name *)
+val name_for_development : development -> string