diff -r a25daffda966 -r 3b2fb20df17d etc/settings
--- a/etc/settings	Tue Jul 24 11:14:37 2012 +0200
+++ b/etc/settings	Tue Jul 24 11:39:22 2012 +0200
@@ -67,11 +67,15 @@
 
 
 ###
-### Batch sessions (cf. isabelle usedir)
+### Batch sessions
 ###
 
+#cf. isabelle usedir
 ISABELLE_USEDIR_OPTIONS="-M max -p 1 -q 2 -v true -V outline=/proof,/ML"
 
+#cf. isabelle build
+ISABELLE_BUILD_OPTIONS=""
+
 
 ###
 ### Document preparation (cf. isabelle latex/document)