Admin/build
changeset 58791 00916b0dd596
parent 57618 d762318438c3
child 64370 865b39487b5d
     1.1 --- a/Admin/build	Mon Oct 27 16:00:04 2014 +0100
     1.2 +++ b/Admin/build	Mon Oct 27 16:11:24 2014 +0100
     1.3 @@ -24,8 +24,8 @@
     1.4    The MODULES list may contain any of the following:
     1.5  
     1.6      all             all modules below
     1.7 -    browser         graph browser (requires jdk)
     1.8 -    jars            Isabelle/Scala (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME)
     1.9 +    browser         graph browser
    1.10 +    jars            Isabelle/Scala
    1.11      jars_test       test separate build of jars
    1.12      jars_fresh      fresh build of jars
    1.13