toplevel/coqtop_bin.ml


1
2
3
4
5
6

(* Main coqtop initialization *)
let () =
  (* XXX: We should make this a configure option *)
  List.iter Mltop.add_known_module Str.(split (regexp " ") Tolink.static_modules);
  (* Start the toplevel loop *)
  Coqtop.start()