(* Main coqtop initialization *)
let () = Coqtop.start()