helm/matita/updater.ml

   1 let main () =
   2   Helm_registry.load_from "matita.conf.xml";
   3   Http_getter.init ();
   4   MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
   5   Http_getter.update ();
   6   Http_getter.sync_dump_file ()
   7 ;;
   8
   9 main ()
  10