changeset 34876 | b52e03f68cc3 |
parent 34871 | e596a0b71f3c |
child 36011 | 3ff725ac13a4 |
--- 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