etc/settings
changeset 52052 892061142ba6
parent 51977 b55f90655328
child 52450 e09e1091394d
     1.1 --- a/etc/settings	Fri May 17 17:45:51 2013 +0200
     1.2 +++ b/etc/settings	Fri May 17 18:19:42 2013 +0200
     1.3 @@ -24,13 +24,9 @@
     1.4  
     1.5  
     1.6  ###
     1.7 -### Batch sessions
     1.8 +### Batch sessions (cf. isabelle build)
     1.9  ###
    1.10  
    1.11 -#cf. isabelle usedir
    1.12 -ISABELLE_USEDIR_OPTIONS="-M max -p 1 -q 2 -v true -V outline=/proof,/ML"
    1.13 -
    1.14 -#cf. isabelle build
    1.15  ISABELLE_BUILD_OPTIONS=""
    1.16  ISABELLE_BUILD_JAVA_OPTIONS="-Xmx1024m -Xss1m"
    1.17