etc/settings
changeset 3062 be354f68d340
parent 3009 38c0b6dbd24f
child 3118 24dae6222579
equal deleted inserted replaced
3061:25b2a895f864 3062:be354f68d340
    71 
    71 
    72 ## Docs
    72 ## Docs
    73 
    73 
    74 ISABELLE_DOCS=$ISABELLE_HOME/doc
    74 ISABELLE_DOCS=$ISABELLE_HOME/doc
    75 
    75 
       
    76 DVI_VIEWER=xdvi
    76 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
    77 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
    77 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
    78 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
    78 DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
    79 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
    79 
    80 
    80 
    81 
    81 # How to install the isabelle X11 fonts (can be tricky!).
    82 # How to install the isabelle X11 fonts (can be tricky!).
    82 ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
    83 ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
    83 #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"
    84 #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"