helm/matita/matitatop.bootstrap

   1 (* directories *)
   2 #directory "../ocaml/cic"
   3 #directory "../ocaml/cic_notation"
   4 #directory "../ocaml/cic_omdoc"
   5 #directory "../ocaml/cic_proof_checking"
   6 #directory "../ocaml/cic_textual_parser2"
   7 #directory "../ocaml/cic_transformations"
   8 #directory "../ocaml/cic_unification"
   9 #directory "../ocaml/getter"
  10 #directory "../ocaml/hbugs"
  11 #directory "../ocaml/mathql"
  12 #directory "../ocaml/mathql_generator"
  13 #directory "../ocaml/mathql_interpreter"
  14 #directory "../ocaml/metadata"
  15 #directory "../ocaml/paramodulation"
  16 #directory "../ocaml/registry"
  17 #directory "../ocaml/tactics"
  18 #directory "../ocaml/thread"
  19 #directory "../ocaml/urimanager"
  20 #directory "../ocaml/xml"
  21 #directory "../ocaml/xmldiff"
  22
  23 (* custom printers *)
  24 #install_printer CicMetaSubst.fppsubst;;
  25 #install_printer CicMetaSubst.fppterm;;
  26 #install_printer CicMetaSubst.fppmetasenv;;
  27
  28 (* main *)
  29 let _ =
  30   if Array.length Sys.argv > 1 then
  31     MatitacLib.main `TOPLEVEL
  32   else
  33     MatitacLib.go ()
  34 ;;