matita/matita/.ocamlinit

   1 (* directories *)
   2 #directory "../components/cic"
   3 #directory "../components/cic_notation"
   4 #directory "../components/cic_omdoc"
   5 #directory "../components/cic_proof_checking"
   6 #directory "../components/cic_textual_parser2"
   7 #directory "../components/cic_transformations"
   8 #directory "../components/cic_unification"
   9 #directory "../components/getter"
  10 #directory "../components/hbugs"
  11 #directory "../components/mathql"
  12 #directory "../components/mathql_generator"
  13 #directory "../components/mathql_interpreter"
  14 #directory "../components/metadata"
  15 #directory "../components/paramodulation"
  16 #directory "../components/registry"
  17 #directory "../components/tactics"
  18 #directory "../components/thread"
  19 #directory "../components/urimanager"
  20 #directory "../components/xml"
  21 #directory "../components/xmldiff"
  22
  23 (* custom printers *)
  24 let fppuri ppf uri =
  25  let s = UriManager.string_of_uri uri in
  26   Format.pp_print_string ppf s
  27 ;;
  28
  29 #install_printer CicMetaSubst.fppsubst;;
  30 #install_printer CicMetaSubst.fppterm;;
  31 #install_printer CicMetaSubst.fppmetasenv;;
  32 #install_printer fppuri;;
  33
  34 (* utility functions *)
  35 let go = MatitacLib.interactive_loop;;
  36
  37 (* let's go! *)
  38 let _ =
  39  at_exit (fun () -> MatitacLib.clean_exit None);
  40  MatitaInit.initialize_all () ;
  41  if Array.length Sys.argv > 1 then
  42    MatitacLib.main `TOPLEVEL
  43  else
  44    MatitacLib.go ()
  45 ;;