1.1 --- a/Admin/build	Mon Jan 11 23:11:31 2010 +0100
     1.2 +++ b/Admin/build	Mon Jan 11 23:41:06 2010 +0100
     1.3 @@ -26,7 +26,7 @@
     1.4      all             all modules below
     1.5      browser         graph browser (requires jdk)
     1.6      doc             documentation (requires latex and rail)
     1.7 -    jars            Scala/JVM components (requires scala in SCALA_HOME)
     1.8 +    jars            Isabelle/Scala layer (requires Scala in \$SCALA_HOME)
     1.9  
    1.10  EOF
    1.11    exit 1

     2.1 --- a/src/Pure/build-jars	Mon Jan 11 23:11:31 2010 +0100
     2.2 +++ b/src/Pure/build-jars	Mon Jan 11 23:41:06 2010 +0100
     2.3 @@ -84,7 +84,7 @@
     2.4  if [ "$OUTDATED" = true ]
     2.5  then
     2.6    echo "###"
     2.7 -  echo "### Building Isabelle/Scala components ..."
     2.8 +  echo "### Building Isabelle/Scala layer ..."
     2.9    echo "###"
    2.10  
    2.11    rm -rf classes && mkdir classes