etc/settings
changeset 2476 dae7f8ca5001
parent 2466 5220fb014f8a
child 2577 eec6bdf53809
equal deleted inserted replaced
2475:36bdba95e170 2476:dae7f8ca5001
    61 DEFAULT_LOGIC=HOL
    61 DEFAULT_LOGIC=HOL
    62 
    62 
    63 ISABELLE_DOCS=$ISABELLE_HOME/doc
    63 ISABELLE_DOCS=$ISABELLE_HOME/doc
    64 
    64 
    65 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
    65 #DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
       
    66 #DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
    66 DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
    67 DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
    67 
    68 
    68 
    69 
    69 ###
    70 ###
    70 ### Interfaces
    71 ### Interfaces