--- a/etc/settings Sun Mar 18 13:59:54 2012 +0100 +++ b/etc/settings Sun Mar 18 21:52:50 2012 +0100 @@ -60,6 +60,8 @@ ISABELLE_JAVA="java" fi +ISABELLE_SCALA_BUILD_OPTIONS="-nowarn -target:jvm-1.5" + ### ### Interactive sessions (cf. isabelle tty)