Mercurial Mercurial > repos > testboard / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/settings
changeset 3009 38c0b6dbd24f
parent 2969 4c8d60b01ef9
child 3062 be354f68d340
equal deleted inserted replaced
3008:0a887d5b6718 3009:38c0b6dbd24f 
    78 DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
 
    78 DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
 
    79 
    79 
    80 
    80 
    81 # How to install the isabelle X11 fonts (can be tricky!).
 
    81 # How to install the isabelle X11 fonts (can be tricky!).
 
    82 ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
 
    82 ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
 
    83 #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv:7100"
 
    83 #ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"
 
    84 
    84 
    85 
    85 
    86 ###
 
    86 ###
 
    87 ### Interfaces
 
    87 ### Interfaces
 
    88 ###
 
    88 ###
testboard