From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 27 Sep 2005 16:37:47 +0000 (+0000)
Subject: fixed some english typos
X-Git-Tag: V_0_7_2_3~288
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7119d284f9e82c964998608e519c8955ba58f100;p=helm.git

fixed some english typos
---

diff --git a/helm/matita/matitaScript.ml b/helm/matita/matitaScript.ml
index 334f3cbe1..dcb0baebf 100644
--- a/helm/matita/matitaScript.ml
+++ b/helm/matita/matitaScript.ml
@@ -180,7 +180,7 @@ let eval_with_engine guistuff status user_goal parsed_text st =
         let title = "Unable to include " ^ what in
         let message = 
          what ^ " is <b>not</b> handled by a development.\n" ^
-         "All dependencies are authomatically solved for a development.\n\n" ^
+         "All dependencies are automatically solved for a development.\n\n" ^
          "<i>Do you want to set up a development?</i>"
         in
         (match guistuff.ask_confirmation ~title ~message with
diff --git a/helm/matita/matitaSync.ml b/helm/matita/matitaSync.ml
index f2c9d6e33..754197bb7 100644
--- a/helm/matita/matitaSync.ml
+++ b/helm/matita/matitaSync.ml
@@ -64,7 +64,7 @@ let set_proof_aliases status new_aliases =
     new_status
 
 (** given a uri and a type list (the contructors types) builds a list of pairs
- *  (name,uri) that is used to generate authomatic aliases **)
+ *  (name,uri) that is used to generate automatic aliases **)
 let extract_alias types uri = 
   fst(List.fold_left (
     fun (acc,i) (name, _, _, cl) ->