From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 28 Jun 2005 16:12:15 +0000 (+0000)
Subject: More complete bootstrapper.
X-Git-Tag: INDEXING_NO_PROOFS~23
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2937563e3cfbdccec504dc99b26d64e0b5301c7c;p=helm.git

More complete bootstrapper.
---

diff --git a/helm/matita/matitatop.bootstrap b/helm/matita/matitatop.bootstrap
index 5d6da169e..a9538cf7d 100644
--- a/helm/matita/matitatop.bootstrap
+++ b/helm/matita/matitatop.bootstrap
@@ -1,16 +1,34 @@
-#directory "../ocaml/cic_unification/"
-#directory "../ocaml/cic_proof_checking/"
+(* directories *)
+#directory "../ocaml/cic"
+#directory "../ocaml/cic_notation"
+#directory "../ocaml/cic_omdoc"
+#directory "../ocaml/cic_proof_checking"
+#directory "../ocaml/cic_textual_parser2"
+#directory "../ocaml/cic_transformations"
+#directory "../ocaml/cic_unification"
+#directory "../ocaml/getter"
+#directory "../ocaml/hbugs"
+#directory "../ocaml/mathql"
+#directory "../ocaml/mathql_generator"
+#directory "../ocaml/mathql_interpreter"
+#directory "../ocaml/metadata"
+#directory "../ocaml/paramodulation"
+#directory "../ocaml/registry"
+#directory "../ocaml/tactics"
+#directory "../ocaml/thread"
+#directory "../ocaml/urimanager"
+#directory "../ocaml/xml"
+#directory "../ocaml/xmldiff"
 
+(* custom printers *)
 #install_printer CicMetaSubst.fppsubst;;
-(*#install_printer CicMetaSubst.fppterm;;*)
+#install_printer CicMetaSubst.fppterm;;
 #install_printer CicMetaSubst.fppmetasenv;;
 
-let go = MatitacLib.go;;
-
+(* main *)
 let _ = 
   if Array.length Sys.argv > 1 then
     MatitacLib.main `TOPLEVEL
   else
-    go ()
+    MatitacLib.go ()
 ;;
-