diff options
Diffstat (limited to 'isar/interface')
| -rw-r--r-- | isar/interface | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/isar/interface b/isar/interface index 97aa607f..7f323fdf 100644 --- a/isar/interface +++ b/isar/interface @@ -94,8 +94,10 @@ shift $(($OPTIND - 1)) if [ "$ISAR" = true ]; then KIND=isar + DEFAULT_FILES="Scratch.thy" else KIND=isa + DEFAULT_FILES="Scratch.thy Scratch.ML" fi @@ -104,7 +106,7 @@ fi FILES="$@" shift "$#" -[ -z "$FILES" ] && FILES="Scratch.thy" +[ -z "$FILES" ] && FILES="$DEFAULT_FILES" ## main |