src/Pure/build-jars
changeset 34876 b52e03f68cc3
parent 34871 e596a0b71f3c
child 36011 3ff725ac13a4
     1.1 --- a/src/Pure/build-jars	Mon Jan 11 23:11:31 2010 +0100
     1.2 +++ b/src/Pure/build-jars	Mon Jan 11 23:41:06 2010 +0100
     1.3 @@ -84,7 +84,7 @@
     1.4  if [ "$OUTDATED" = true ]
     1.5  then
     1.6    echo "###"
     1.7 -  echo "### Building Isabelle/Scala components ..."
     1.8 +  echo "### Building Isabelle/Scala layer ..."
     1.9    echo "###"
    1.10  
    1.11    rm -rf classes && mkdir classes