equal
deleted
inserted
replaced
58 |
58 |
59 if [ "$ISABELLE_INTERFACE_CHOICE" = emacs ]; then |
59 if [ "$ISABELLE_INTERFACE_CHOICE" = emacs ]; then |
60 ( "$ISABELLE_TOOL" emacs -p "$PROOFGENERAL_EMACS" "$@" ) > "$OUTPUT" 2>&1 |
60 ( "$ISABELLE_TOOL" emacs -p "$PROOFGENERAL_EMACS" "$@" ) > "$OUTPUT" 2>&1 |
61 RC=$? |
61 RC=$? |
62 else |
62 else |
63 ( "$ISABELLE_TOOL" jedit "$@" ) > "$OUTPUT" 2>&1 |
63 ( "$ISABELLE_TOOL" jedit -s "$@" ) > "$OUTPUT" 2>&1 |
64 RC=$? |
64 RC=$? |
65 fi |
65 fi |
66 |
66 |
67 if [ "$RC" != 0 ]; then |
67 if [ "$RC" != 0 ]; then |
68 echo >> "$OUTPUT" |
68 echo >> "$OUTPUT" |