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.
tentative fix while hunting gremlins ...;
authorwenzelm
Fri, 15 Sep 2000 19:07:55 +0200
changeset 9989 3788cb659e0c
parent 9988 20433ebb241d
child 9990 09c65992894c
tentative fix while hunting gremlins ...;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Fri Sep 15 18:43:15 2000 +0200
+++ b/etc/settings	Fri Sep 15 19:07:55 2000 +0200
@@ -162,8 +162,6 @@
   "/usr/share/x-symbol" \
   "/usr/local/x-symbol" \
   "")
-#required for remote fonts only ...
-#XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
 
 
 ###
isabelle