Admin/build
changeset 34876 b52e03f68cc3
parent 34297 5c0a2583f997
child 43280 e5dd0ae1b054
--- 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