From 7119d284f9e82c964998608e519c8955ba58f100 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 27 Sep 2005 16:37:47 +0000 Subject: [PATCH] fixed some english typos --- helm/matita/matitaScript.ml | 2 +- helm/matita/matitaSync.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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 not 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" ^ "Do you want to set up a development?" 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) -> -- 2.39.2