# HG changeset patch # User wenzelm # Date 1616880373 -3600 # Node ID e16133a054583e593bf6e22c6f1f51c2f4e15094 # Parent 827f53095f1c71cb6fae64f8f8c38039e450fd87 clarified messages; diff -r 827f53095f1c -r e16133a05458 lib/Tools/setup --- a/lib/Tools/setup Sat Mar 27 22:19:56 2021 +0100 +++ b/lib/Tools/setup Sat Mar 27 22:26:13 2021 +0100 @@ -133,5 +133,8 @@ "${HG:-hg}" -R "$ISABELLE_HOME" update -r "$REV" $CLEAN isabelle components -a "${HG:-hg}" -R "$ISABELLE_HOME" log -r "$REV" + if [ ! -f "$ISABELLE_HOME/lib/Tools/setup" ]; then + echo >&2 "### The isabelle setup tool has disappeared in this version" + fi ' fi