Lines Matching refs:VERSION
23 echo "Usage: isabelle $PRG [OPTIONS] [VERSION]"
33 echo " VERSION identifies the snapshot, using usual Mercurial terminology;"
88 VERSION=""
89 [ "$#" -gt 0 ] && { VERSION="$1"; shift; }
90 [ -z "$VERSION" ] && VERSION="$RELEASE"
91 [ -z "$VERSION" ] && VERSION="tip"
95 IDENT=$("$HG" --repository "$ISABELLE_HOME" id -r "$VERSION" -i)
96 [ -z "$IDENT" ] && fail "Bad repository version: \"$VERSION\""
126 echo "### Retrieving Mercurial repository version $VERSION"
129 fail "Failed to retrieve $VERSION"