X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fng_library%2FnCicLibrary.mli;h=badf1788434b444efc4508bf75c658b7be574803;hb=89fc31fc5cc01e8860cf67a8e096c24125370d31;hp=cba90c30cb10e932ba286a93ecbff287cd0e9985;hpb=e79c8b830f9f6b0c3f4d577909e32e1bb4032cdf;p=helm.git

diff --git a/matitaB/components/ng_library/nCicLibrary.mli b/matitaB/components/ng_library/nCicLibrary.mli
index cba90c30c..badf17884 100644
--- a/matitaB/components/ng_library/nCicLibrary.mli
+++ b/matitaB/components/ng_library/nCicLibrary.mli
@@ -20,6 +20,7 @@ type db
 
 class type g_status =
   object
+    inherit NCicEnvironment.g_status
     method lib_db : db
   end
 
@@ -30,6 +31,7 @@ class virtual status :
   inherit g_status
   method lib_db: db
   method timestamp: timestamp
+  method print_timestamp : unit -> unit
   method set_timestamp: timestamp -> 'self
   method set_lib_db: db -> 'self
   method set_lib_status: #g_status -> 'self
@@ -48,7 +50,7 @@ val get_obj: #NCic.status -> NUri.uri -> NCic.obj (* changes the current timesta
 
 val time_travel: #status -> unit
 
-val init: unit -> unit
+val init: string option -> unit
 
 type obj
 type dump