From 5a136ee51c0e52ea2ee14420b1f15bc0106eb388 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 28 Jun 2005 17:41:04 +0000
Subject: [PATCH] better message

---
 helm/matita/matitacLib.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/helm/matita/matitacLib.ml b/helm/matita/matitacLib.ml
index d00156b8a..765342737 100644
--- a/helm/matita/matitacLib.ml
+++ b/helm/matita/matitacLib.ml
@@ -78,7 +78,9 @@ let fname () =
 
 let pp_ocaml_mode () = 
   MatitaLog.message "";
-  MatitaLog.message " ** Entering Ocaml mode ** ";
+  MatitaLog.message "                      ** Entering Ocaml mode ** ";
+  MatitaLog.message "";
+  MatitaLog.message "Type 'MatitacLib.go ();;' to enter an interactive matitac";
   MatitaLog.message ""
   
 let rec go () = 
-- 
2.39.2