author | wenzelm |
Wed, 25 Jul 2012 12:39:35 +0200 | |
changeset 49513 | 62f183129ae6 |
parent 49512 | ba61aceaa18a |
child 49514 | d648225071dd |
Admin/build | file | annotate | diff | comparison | revisions |
1.1 --- a/Admin/build Wed Jul 25 12:38:54 2012 +0200 1.2 +++ b/Admin/build Wed Jul 25 12:39:35 2012 +0200 1.3 @@ -25,7 +25,7 @@ 1.4 1.5 all all modules below *except* doc-src 1.6 browser graph browser (requires jdk) 1.7 - doc documentation (requires latex and rail) 1.8 + doc documentation (requires latex) 1.9 doc-src documentation sources from Isabelle theories 1.10 jars Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME) 1.11 jars_test test separate build of jars