etc/settings

--- a/etc/settings	Fri May 17 17:45:51 2013 +0200
+++ b/etc/settings	Fri May 17 18:19:42 2013 +0200
@@ -24,13 +24,9 @@
 
 
 ###
-### Batch sessions
+### Batch sessions (cf. isabelle build)
 ###
 
-#cf. isabelle usedir
-ISABELLE_USEDIR_OPTIONS="-M max -p 1 -q 2 -v true -V outline=/proof,/ML"
-
-#cf. isabelle build
 ISABELLE_BUILD_OPTIONS=""
 ISABELLE_BUILD_JAVA_OPTIONS="-Xmx1024m -Xss1m"