]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/.ocamlinit
- exclusion binder in local environments
[helm.git] / 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 ;;