SVN bug: library lost, copying it again from previous version (???)

[helm.git] / matita / components / library / libraryDb.ml

diff --git a/matita/components/library/libraryDb.ml b/matita/components/library/libraryDb.ml
index 34ad77077a6fba3bea2b8d75ce69c299fd44f727..e82e91f97f1629295d149ba1d066d11234932218 100644 (file)
--- a/matita/components/library/libraryDb.ml
+++ b/matita/components/library/libraryDb.ml
@@ -60,7 +60,7 @@ let instance =
 let xpointer_RE = Pcre.regexp "#.*$"
 let file_scheme_RE = Pcre.regexp "^file://"
 
-let clean_owner_environment () = assert false (* MATITA 1.0
+let clean_owner_environment () =
   let dbd = instance () in
   let obj_tbl = MetadataTypes.obj_tbl () in
   let sort_tbl = MetadataTypes.sort_tbl () in
@@ -107,10 +107,9 @@ let clean_owner_environment () = assert false (* MATITA 1.0
       | HSql.No_such_index -> ()
       | _ -> raise exn
     ) statements;
-    *)
 ;;
 
-let create_owner_environment () = () (* MATITA 1.0
+let create_owner_environment () = 
   let dbd = instance () in
   let obj_tbl = MetadataTypes.obj_tbl () in
   let sort_tbl = MetadataTypes.sort_tbl () in
@@ -152,7 +151,6 @@ let create_owner_environment () = () (* MATITA 1.0
               raise exc
           | _ -> ())
   statements
-  *)
 ;;
 
 (* removes uri from the ownerized tables, and returns the list of other objects
@@ -161,7 +159,7 @@ let create_owner_environment () = () (* MATITA 1.0
  * contain all defined objects. but to double check we do not garbage the
  * metadata...
  *)
-let remove_uri uri = assert false (* MATITA 1.0
+let remove_uri uri =
   let obj_tbl = MetadataTypes.obj_tbl () in
   let sort_tbl = MetadataTypes.sort_tbl () in
   let rel_tbl = MetadataTypes.rel_tbl () in
@@ -190,10 +188,9 @@ let remove_uri uri = assert false (* MATITA 1.0
       exn -> raise exn (* no errors should be accepted *)
     )
   [obj_tbl;sort_tbl;rel_tbl;name_tbl;(*conclno_tbl;conclno_hyp_tbl*)count_tbl];
-  *)
 ;;
 
-let xpointers_of_ind uri = assert false (* MATITA 1.0
+let xpointers_of_ind uri =
   let dbd = instance () in
   let name_tbl =  MetadataTypes.name_tbl () in
   let dbtype = 
@@ -212,4 +209,4 @@ let xpointers_of_ind uri = assert false (* MATITA 1.0
   let l = ref [] in
   HSql.iter rc (fun a ->  match a.(0) with None ->()|Some a -> l := a:: !l);
   List.map UriManager.uri_of_string !l
-*)
+