| changeset 73691 | 2f9877db82a1 |
| parent 73690 | 9267a04aabe6 |
| child 73692 | 8444d4ff5646 |
--- a/src/HOL/Mirabelle/etc/settings Thu May 13 15:52:10 2021 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,9 +0,0 @@ -# -*- shell-script -*- :mode=shellscript: - -MIRABELLE_HOME="$COMPONENT" - -MIRABELLE_LOGIC=HOL -MIRABELLE_THEORY=Main -MIRABELLE_TIMEOUT=30 - -ISABELLE_TOOLS="$ISABELLE_TOOLS:$MIRABELLE_HOME/lib/Tools"