etc/settings
changeset 51977 b55f90655328
parent 51940 958d439b3013
child 52052 892061142ba6
     1.1 --- a/etc/settings	Tue May 14 09:49:03 2013 +0200
     1.2 +++ b/etc/settings	Tue May 14 12:21:35 2013 +0200
     1.3 @@ -32,6 +32,7 @@
     1.4  
     1.5  #cf. isabelle build
     1.6  ISABELLE_BUILD_OPTIONS=""
     1.7 +ISABELLE_BUILD_JAVA_OPTIONS="-Xmx1024m -Xss1m"
     1.8  
     1.9  
    1.10  ###