etc/settings
changeset 11103 2a3cc8e1723a
parent 11062 e86340dc1d28
child 11552 aca5398ccd35
equal deleted inserted replaced
11102:5ceaa79c220d 11103:2a3cc8e1723a
   127 ISABELLE_DOCS="$ISABELLE_HOME/doc"
   127 ISABELLE_DOCS="$ISABELLE_HOME/doc"
   128 
   128 
   129 #The dvi file viewer
   129 #The dvi file viewer
   130 DVI_VIEWER=xdvi
   130 DVI_VIEWER=xdvi
   131 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
   131 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
       
   132 #DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7"
   132 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
   133 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
   133 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
   134 #DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
   134 
   135 
   135 
   136 
   136 ## Fonts -- how to install the Isabelle X11 fonts (can be tricky!).
   137 ## Fonts -- how to install the Isabelle X11 fonts (can be tricky!).