tuned comments;
authorwenzelm
Tue Jul 30 15:45:01 2013 +0200 (2013-07-30 ago)
changeset 527906150cf05f729
parent 52789 44fd3add1348
child 52791 9e4bb60f8007
child 52796 ad64ed8e6147
tuned comments;
etc/settings
     1.1 --- a/etc/settings	Tue Jul 30 15:20:38 2013 +0200
     1.2 +++ b/etc/settings	Tue Jul 30 15:45:01 2013 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  #   * DO NOT COPY this file into your ~/.isabelle directory!
     1.5  
     1.6  ###
     1.7 -### JVM components (Scala or Java)
     1.8 +### Isabelle/Scala
     1.9  ###
    1.10  
    1.11  ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130"
    1.12 @@ -41,9 +41,6 @@
    1.13  ISABELLE_MAKEINDEX="makeindex"
    1.14  ISABELLE_EPSTOPDF="epstopdf"
    1.15  
    1.16 -# Paranoia setting for strange latex installations ...
    1.17 -#unset TEXMF
    1.18 -
    1.19  
    1.20  ###
    1.21  ### Misc path settings
    1.22 @@ -106,10 +103,6 @@
    1.23  
    1.24  # DVI file viewer (command-line to eval)
    1.25  DVI_VIEWER=xdvi
    1.26 -#DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
    1.27 -#DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7"
    1.28 -#DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
    1.29 -#DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
    1.30  
    1.31  
    1.32  ###