From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 29 Jun 2005 08:33:57 +0000 (+0000)
Subject: Informative message corrected: MatitacLib.go () is now redefined as the more
X-Git-Tag: INDEXING_NO_PROOFS~14
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b47aab1cb2108a991a328ffffc9d6d10999e6a0c;p=helm.git

Informative message corrected: MatitacLib.go () is now redefined as the more
concise go ().
---

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