etc/settings
changeset 3256 0a45cdd7da37
parent 3184 4e0bbfb113d5
child 3303 656b5221a56e
equal deleted inserted replaced
3255:7678f3d93053 3256:0a45cdd7da37
    86 ## Fonts -- how to install the Isabelle X11 fonts (can be tricky!).
    86 ## Fonts -- how to install the Isabelle X11 fonts (can be tricky!).
    87 
    87 
    88 # (1) Get fonts from local (client side) directory:
    88 # (1) Get fonts from local (client side) directory:
    89 ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
    89 ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
    90 
    90 
    91 # (2) Get from font server (at Cambridge or Munich):
    91 # (2) Get from font server (at Munich or Cambridge):
       
    92 #ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
    92 #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"
    93 #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"
    93 #ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
       
    94 
    94 
    95 
    95 
    96 ###
    96 ###
    97 ### Interfaces
    97 ### Interfaces
    98 ###
    98 ###