Admin/setup
changeset 73761 d34033a93711
parent 73760 a35b2ee3148f
child 73762 2592a661ddc9
equal deleted inserted replaced
73760:a35b2ee3148f 73761:d34033a93711
    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 remote tip"
    31   echo "    -u           version is tip of 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
    36   echo
    36   exit 1
    37   exit 1
    37 }
    38 }
    38 
    39 
    39 function fail()
    40 function fail()