Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified terminology;
authorwenzelm
Mon, 11 Jan 2010 23:41:06 +0100
changeset 34876 b52e03f68cc3
parent 34875 45aa70e7e7b6
child 34877 ded5b770ec1c
clarified terminology;
Admin/build file | annotate | diff | comparison | revisions
src/Pure/build-jars file | annotate | diff | comparison | revisions 
--- a/Admin/build	Mon Jan 11 23:11:31 2010 +0100
+++ b/Admin/build	Mon Jan 11 23:41:06 2010 +0100
@@ -26,7 +26,7 @@
     all             all modules below
     browser         graph browser (requires jdk)
     doc             documentation (requires latex and rail)
-    jars            Scala/JVM components (requires scala in SCALA_HOME)
+    jars            Isabelle/Scala layer (requires Scala in \$SCALA_HOME)
 
 EOF
   exit 1
--- 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
isabelle