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.
more robust check;
authorwenzelm
Fri, 07 Mar 1997 09:56:55 +0100
changeset 2746 2a2d51f2cd95
parent 2745 6d0dd9491da8
child 2747 9fdc1461085f
more robust check;
lib/Tools/installfonts file | annotate | diff | comparison | revisions 
--- a/lib/Tools/installfonts	Fri Mar 07 09:49:28 1997 +0100
+++ b/lib/Tools/installfonts	Fri Mar 07 09:56:55 1997 +0100
@@ -23,7 +23,7 @@
 
 function checkfonts()
 {
-  RESULT=$(xlsfonts -fn "-isabelle-*" 2>&1) || return 1
+  RESULT=$(xlsfonts -fn "-isabelle-*-isabelle-0" 2>&1) || return 1
 
   case "$RESULT" in
     xlsfonts:*)
isabelle