clarified terminology;
authorwenzelm
Mon Jan 11 23:41:06 2010 +0100 (2010-01-11)
changeset 34876b52e03f68cc3
parent 34875 45aa70e7e7b6
child 34877 ded5b770ec1c
clarified terminology;
Admin/build
src/Pure/build-jars
     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