This instance will be upgraded to Heptapod 0.23.2 on 2021-08-05 at 11:00 UTC+2 (a few minutes of down time)

Commit 3013f2f5 authored by Gerwin Klein's avatar Gerwin Klein
Browse files

Isabelle app layout changed on Mac

parent cb1f24a06749
......@@ -44,7 +44,7 @@ default_isabelle_tool()
ISABELLE_VERSION="Isabelle$VERSION"
ISABELLE_TOOL="$ISABELLE_RELEASES/$ISABELLE_VERSION/bin/isabelle"
if [[ "$OSTYPE" == darwin* && ! -x "$ISABELLE_TOOL" ]]; then
ISABELLE_TOOL="$ISABELLE_RELEASES/${ISABELLE_VERSION}.app/Isabelle/bin/isabelle"
ISABELLE_TOOL="$ISABELLE_RELEASES/${ISABELLE_VERSION}.app/bin/isabelle"
fi
fi
fi
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment