lib/Tools/installfonts
changeset 3253 ea75747190a7
parent 3007 e5efa177ee0c
child 9788 df671fa2562a
     1.1 --- a/lib/Tools/installfonts	Tue May 20 17:58:20 1997 +0200
     1.2 +++ b/lib/Tools/installfonts	Tue May 20 19:26:43 1997 +0200
     1.3 @@ -13,7 +13,7 @@
     1.4    echo "Usage: $PRG"
     1.5    echo
     1.6    echo "  Install the isabelle fonts into your X11 server."
     1.7 -  echo "  (May be savely called repeatedly.)"
     1.8 +  echo "  (May be safely called repeatedly.)"
     1.9    echo
    1.10    exit 1
    1.11  }