# HG changeset patch # User wenzelm # Date 861984682 -7200 # Node ID be354f68d340dae9a3559fe548698be8a2084b12 # Parent 25b2a895f86401aeb24c2094ae2dcdb846660953 improved DVI_VIEWER default; diff -r 25b2a895f864 -r be354f68d340 etc/settings --- a/etc/settings Fri Apr 25 17:50:55 1997 +0200 +++ b/etc/settings Fri Apr 25 18:11:22 1997 +0200 @@ -73,9 +73,10 @@ ISABELLE_DOCS=$ISABELLE_HOME/doc +DVI_VIEWER=xdvi #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5" #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10" -DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" +#DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9" # How to install the isabelle X11 fonts (can be tricky!).