changeset 47115 | 1a05adae1cc9 |
parent 46933 | 3b02b0ef8d48 |
child 47408 | 63c05991882e |
--- a/Admin/build Mon Mar 26 15:38:09 2012 +0200 +++ b/Admin/build Mon Mar 26 16:25:08 2012 +0200 @@ -27,7 +27,7 @@ browser graph browser (requires jdk) doc documentation (requires latex and rail) doc-src documentation sources from Isabelle theories - jars Isabelle/Scala layer (requires Scala in \$SCALA_HOME) + jars Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME) jars_fresh fresh build of jars EOF