* new binary matitatop

[helm.git] / helm / matita / matitatop.ml

diff --git a/helm/matita/matitatop.ml b/helm/matita/matitatop.ml
new file mode 100644 (file)
index 0000000..95a8ec1
--- /dev/null
+++ b/helm/matita/matitatop.ml
@@ -0,0 +1,5 @@
+let _ =
+  let _ = Topdirs.dir_quit in
+  Toploop.initialize_toplevel_env ();
+  Topdirs.dir_use Format.std_formatter "matitatop.bootstrap";
+  Toploop.loop Format.std_formatter