# HG changeset patch
# User wenzelm
# Date 1263249666 -3600
# Node ID b52e03f68cc316b28730f6bb1a425085417e78de
# Parent  45aa70e7e7b625bb65c9307baf7b531e6e506448
clarified terminology;

diff -r 45aa70e7e7b6 -r b52e03f68cc3 Admin/build
--- a/Admin/build	Mon Jan 11 23:11:31 2010 +0100
+++ b/Admin/build	Mon Jan 11 23:41:06 2010 +0100
@@ -26,7 +26,7 @@
     all             all modules below
     browser         graph browser (requires jdk)
     doc             documentation (requires latex and rail)
-    jars            Scala/JVM components (requires scala in SCALA_HOME)
+    jars            Isabelle/Scala layer (requires Scala in \$SCALA_HOME)
 
 EOF
   exit 1
diff -r 45aa70e7e7b6 -r b52e03f68cc3 src/Pure/build-jars
--- a/src/Pure/build-jars	Mon Jan 11 23:11:31 2010 +0100
+++ b/src/Pure/build-jars	Mon Jan 11 23:41:06 2010 +0100
@@ -84,7 +84,7 @@
 if [ "$OUTDATED" = true ]
 then
   echo "###"
-  echo "### Building Isabelle/Scala components ..."
+  echo "### Building Isabelle/Scala layer ..."
   echo "###"
 
   rm -rf classes && mkdir classes