helm/matita/matitatop.bootstrap

   1 #directory "../ocaml/cic_unification/"
   2 #directory "../ocaml/cic_proof_checking/"
   3
   4 #install_printer CicMetaSubst.fppsubst;;
   5 (*#install_printer CicMetaSubst.fppterm;;*)
   6 #install_printer CicMetaSubst.fppmetasenv;;
   7
   8 let go = MatitacLib.go;;
   9
  10 let _ =
  11   if Array.length Sys.argv > 1 then
  12     MatitacLib.main `TOPLEVEL
  13   else
  14     go ()
  15 ;;
  16