# HG changeset patch
# User wenzelm
# Date 1375191901 -7200
# Node ID 6150cf05f729907ec01d6b18587785a0a1f3bdfa
# Parent  44fd3add1348804b6eadc32ef5e4241496c60fb0
tuned comments;

diff -r 44fd3add1348 -r 6150cf05f729 etc/settings
--- a/etc/settings	Tue Jul 30 15:20:38 2013 +0200
+++ b/etc/settings	Tue Jul 30 15:45:01 2013 +0200
@@ -8,7 +8,7 @@
 #   * DO NOT COPY this file into your ~/.isabelle directory!
 
 ###
-### JVM components (Scala or Java)
+### Isabelle/Scala
 ###
 
 ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5 -Xmax-classfile-name 130"
@@ -41,9 +41,6 @@
 ISABELLE_MAKEINDEX="makeindex"
 ISABELLE_EPSTOPDF="epstopdf"
 
-# Paranoia setting for strange latex installations ...
-#unset TEXMF
-
 
 ###
 ### Misc path settings
@@ -106,10 +103,6 @@
 
 # DVI file viewer (command-line to eval)
 DVI_VIEWER=xdvi
-#DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
-#DVI_VIEWER="xdvi -geometry 711x1005 -expert -s 7"
-#DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
-#DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
 
 
 ###