--- a/etc/settings Tue May 14 09:49:03 2013 +0200 +++ b/etc/settings Tue May 14 12:21:35 2013 +0200 @@ -32,6 +32,7 @@ #cf. isabelle build ISABELLE_BUILD_OPTIONS="" +ISABELLE_BUILD_JAVA_OPTIONS="-Xmx1024m -Xss1m" ###