Admin/setup
changeset 73763 001097314d09
parent 73762 2592a661ddc9
equal deleted inserted replaced
73762:2592a661ddc9 73763:001097314d09
    26   echo "    -V PATH      version from explicit file or directory (file \"ISABELLE_VERSION\")"
    26   echo "    -V PATH      version from explicit file or directory (file \"ISABELLE_VERSION\")"
    27   echo "    -c           check clean working directory"
    27   echo "    -c           check clean working directory"
    28   echo "    -f           fresh build of Isabelle/Scala/jEdit"
    28   echo "    -f           fresh build of Isabelle/Scala/jEdit"
    29   echo "    -n           no build of Isabelle/Scala/jEdit"
    29   echo "    -n           no build of Isabelle/Scala/jEdit"
    30   echo "    -r REV       version according to Mercurial notation"
    30   echo "    -r REV       version according to Mercurial notation"
    31   echo "    -u           version is tip of Isabelle repository server"
    31   echo "    -u           version is tip (after pull from Isabelle repository server)"
    32   echo
    32   echo
    33   echo "  Setup the current ISABELLE_HOME directory, which needs to be a"
    33   echo "  Setup the current ISABELLE_HOME directory, which needs to be a"
    34   echo "  repository clone (all versions) or repository archive (fixed version)."
    34   echo "  repository clone (all versions) or repository archive (fixed version)."
    35   echo "  Download required components and build Isabelle/Scala/jEdit (default)."
    35   echo "  Download required components and build Isabelle/Scala/jEdit (default)."
    36   echo
    36   echo