From e4c1356a798fc282d78e6ff68deac32bb9d5b3cd Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 6 Apr 2019 10:23:30 +0100
Subject: [PATCH] Fixed spelling in info/warning/error messages.

---
 install | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/install b/install
index e0e241f..4c24817 100755
--- a/install
+++ b/install
@@ -114,7 +114,7 @@ check_afp_entries() {
 }
 
 check_isa_dof_patch() {
-    echo "* Check availabilty of Isabelle/DOF patch:"
+    echo "* Check availability of Isabelle/DOF patch:"
     src="patches/thy_output.ML"
     dst="$ISABELLE_HOME/src/Pure/Thy/thy_output.ML"
      
@@ -152,7 +152,7 @@ check_old_installation(){
         rm -rf "$ISABELLE_HOME_USER/DOF.bak"
         mv "$ISABELLE_HOME_USER/DOF" "$ISABELLE_HOME_USER/DOF.bak"
     else
-        echo "  No old instllation found."
+        echo "  No old installation found."
     fi
 
 }