Commit acffc69c authored by Makarius's avatar Makarius Committed by Stefan Berghofer
Browse files

more official Isabelle settings

parent 7d9f0304
ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/Tools"
# -*- shell-script -*- :mode=shellscript:
WHY3_ISABELLE_HOME="$COMPONENT"
ISABELLE_TOOLS="$ISABELLE_TOOLS:$WHY3_ISABELLE_HOME/Tools"
Supports Markdown
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