equal
deleted
inserted
replaced
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 Munich or Cambridge): |
91 # (2) Get from font server at Munich: |
92 #ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
92 #ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
93 #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100" |
|
94 |
93 |
95 |
94 |
96 ### |
95 ### |
97 ### Interfaces |
96 ### Interfaces |
98 ### |
97 ### |