snapshot (notably: first working version of the console)

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

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index 95882a0f1f4fd57ab558d93ef525efe575ccdca4..2018d7176210f8b4cbc9b2bfbf40aa903436610b 100644 (file)
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -80,8 +80,7 @@ class gui file =
         [ main#saveMenuItem; main#saveAsMenuItem ];
       main#helpMenu#set_right_justified true;
         (* console *)
-      console#echo_message "message";
-      console#echo_error "error";
+      console#echo_message "\tMatita version 0.0.1\n";
       console#echo_prompt ();
       console#misc#grab_focus ()