etc/settings
changeset 3062 be354f68d340
parent 3009 38c0b6dbd24f
child 3118 24dae6222579
     1.1 --- a/etc/settings	Fri Apr 25 17:50:55 1997 +0200
     1.2 +++ b/etc/settings	Fri Apr 25 18:11:22 1997 +0200
     1.3 @@ -73,9 +73,10 @@
     1.4  
     1.5  ISABELLE_DOCS=$ISABELLE_HOME/doc
     1.6  
     1.7 +DVI_VIEWER=xdvi
     1.8  #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
     1.9  #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
    1.10 -DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
    1.11 +#DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
    1.12  
    1.13  
    1.14  # How to install the isabelle X11 fonts (can be tricky!).