1.1 --- a/Admin/build	Mon Jan 11 23:11:31 2010 +0100
     1.2 +++ b/Admin/build	Mon Jan 11 23:41:06 2010 +0100
     1.3 @@ -26,7 +26,7 @@
     1.4      all             all modules below
     1.5      browser         graph browser (requires jdk)
     1.6      doc             documentation (requires latex and rail)
     1.7 -    jars            Scala/JVM components (requires scala in SCALA_HOME)
     1.8 +    jars            Isabelle/Scala layer (requires Scala in \$SCALA_HOME)
     1.9  
    1.10  EOF
    1.11    exit 1