equal
deleted
inserted
replaced
23 Produce Isabelle distribution modules from current repository sources. |
23 Produce Isabelle distribution modules from current repository sources. |
24 The MODULES list may contain any of the following: |
24 The MODULES list may contain any of the following: |
25 |
25 |
26 all all modules below |
26 all all modules below |
27 browser graph browser (requires jdk) |
27 browser graph browser (requires jdk) |
28 jars Isabelle/Scala layer (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME) |
28 jars Isabelle/Scala (requires \$ISABELLE_JDK_HOME and \$SCALA_HOME) |
29 jars_test test separate build of jars |
29 jars_test test separate build of jars |
30 jars_fresh fresh build of jars |
30 jars_fresh fresh build of jars |
31 |
31 |
32 EOF |
32 EOF |
33 exit 1 |
33 exit 1 |