1.1 --- a/Admin/build	Mon Mar 26 15:38:09 2012 +0200
     1.2 +++ b/Admin/build	Mon Mar 26 16:25:08 2012 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4      browser         graph browser (requires jdk)
     1.5      doc             documentation (requires latex and rail)
     1.6      doc-src         documentation sources from Isabelle theories
     1.7 -    jars            Isabelle/Scala layer (requires Scala in \$SCALA_HOME)
     1.8 +    jars            Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME)
     1.9      jars_fresh      fresh build of jars
    1.10  
    1.11  EOF