--- a/Admin/init Sat Apr 17 19:37:42 2021 +0200
+++ b/Admin/init Sat Apr 17 19:45:12 2021 +0200
@@ -32,7 +32,7 @@
echo " -f fresh build of Isabelle/Scala/jEdit"
echo " -n no build of Isabelle/Scala/jEdit"
echo " -r REV version given in Mercurial notation (changeset id or tag)"
- echo " -t version is latest tip"
+ echo " -u update to latest tip"
echo
echo " Initialize the current ISABELLE_HOME directory, which needs to be a"
echo " repository clone (all versions) or repository archive (fixed version)."
@@ -65,7 +65,7 @@
VERSION_PATH=""
VERSION_REV=""
-while getopts "CI:LRU:V:cfnr:t" OPT
+while getopts "CI:LRU:V:cfnr:u" OPT
do
case "$OPT" in
C)
@@ -112,7 +112,7 @@
VERSION_PATH=""
VERSION_REV="$OPTARG"
;;
- t)
+ u)
VERSION="true"
VERSION_RELEASE=""
VERSION_PATH=""
--- a/README_REPOSITORY Sat Apr 17 19:37:42 2021 +0200
+++ b/README_REPOSITORY Sat Apr 17 19:45:12 2021 +0200
@@ -22,11 +22,11 @@
#latest official release
isabelle/Admin/init -R
- #latest tip version from repository server
- isabelle/Admin/init -t
+ #latest version from repository server
+ isabelle/Admin/init -u
- #latest tip version from local history
- isabelle/Admin/init -t -L
+ #latest version from local history
+ isabelle/Admin/init -u -L
#explicit changeset id or tag (e.g. "Isabelle2021")
isabelle/Admin/init -r 1d4c9fa00821