src/Pure/build-jars
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