equal
deleted
inserted
replaced
49 "$ISABELLE_TOOL" "$@" |
49 "$ISABELLE_TOOL" "$@" |
50 } |
50 } |
51 |
51 |
52 #platform |
52 #platform |
53 source "$ISABELLE_HOME/lib/scripts/isabelle-platform" |
53 source "$ISABELLE_HOME/lib/scripts/isabelle-platform" |
|
54 if [ -z "$ISABELLE_PLATFORM" ]; then |
|
55 echo 1>&2 "Failed to determine hardware and operating system type!" |
|
56 exit 2 |
|
57 fi |
54 |
58 |
55 #Isabelle distribution identifier -- filled in automatically! |
59 #Isabelle distribution identifier -- filled in automatically! |
56 ISABELLE_ID="" |
60 ISABELLE_ID="" |
57 ISABELLE_IDENTIFIER="" |
61 ISABELLE_IDENTIFIER="" |
58 |
62 |