| changeset 62589 | b5783412bfed |
| parent 62588 | cd266473b81b |
| child 62676 | 1792f8ed2b04 |
--- a/src/HOL/Mutabelle/lib/Tools/mutabelle Thu Mar 10 12:11:50 2016 +0100 +++ b/src/HOL/Mutabelle/lib/Tools/mutabelle Thu Mar 10 17:30:04 2016 +0100 @@ -133,7 +133,7 @@ # execution -"$ISABELLE_TOOL" process -o auto_time_limit=10.0 \ +isabelle process -o auto_time_limit=10.0 \ -e 'use_thy "$MUTABELLE_OUTPUT_PATH/Mutabelle_Test"' "$MUTABELLE_LOGIC" > "$MUTABELLE_OUTPUT_PATH/err" 2>&1