Admin/init
changeset 73772 d3f2038198ae
parent 73770 ae5fa3ca41b9
child 73840 1d4c9fa00821
equal deleted inserted replaced
73771:ef5440f4fcc4 73772:d3f2038198ae
    28   echo "                 the file \"ISABELLE_VERSION\""
    28   echo "                 the file \"ISABELLE_VERSION\""
    29   echo "    -c           check clean working directory"
    29   echo "    -c           check clean working directory"
    30   echo "    -f           fresh build of Isabelle/Scala/jEdit"
    30   echo "    -f           fresh build of Isabelle/Scala/jEdit"
    31   echo "    -n           no build of Isabelle/Scala/jEdit"
    31   echo "    -n           no build of Isabelle/Scala/jEdit"
    32   echo "    -r REV       version in Mercurial notation (changeset id or tag)"
    32   echo "    -r REV       version in Mercurial notation (changeset id or tag)"
    33   echo "    -u           version is tip of Isabelle repository server"
    33   echo "    -u           version is latest tip from repository server or local clone"
    34   echo
    34   echo
    35   echo "  Initialize the current ISABELLE_HOME directory, which needs to be a"
    35   echo "  Initialize the current ISABELLE_HOME directory, which needs to be a"
    36   echo "  repository clone (all versions) or repository archive (fixed version)."
    36   echo "  repository clone (all versions) or repository archive (fixed version)."
    37   echo "  Download required components. Build Isabelle/Scala/jEdit by default."
    37   echo "  Download required components. Build Isabelle/Scala/jEdit by default."
    38   echo
    38   echo