Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed spelling;
authorwenzelm
Tue, 20 May 1997 19:26:43 +0200
changeset 3253 ea75747190a7
parent 3252 68c7a70daa16
child 3254 9effaaf77303
fixed spelling;
lib/Tools/installfonts file | annotate | diff | comparison | revisions 
--- a/lib/Tools/installfonts	Tue May 20 17:58:20 1997 +0200
+++ b/lib/Tools/installfonts	Tue May 20 19:26:43 1997 +0200
@@ -13,7 +13,7 @@
   echo "Usage: $PRG"
   echo
   echo "  Install the isabelle fonts into your X11 server."
-  echo "  (May be savely called repeatedly.)"
+  echo "  (May be safely called repeatedly.)"
   echo
   exit 1
 }
isabelle