equal
deleted
inserted
replaced
16 ( |
16 ( |
17 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2 |
17 source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2 |
18 |
18 |
19 eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)" |
19 eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)" |
20 |
20 |
21 isabelle_setup_classpath |
21 classpath "$ISABELLE_SETUP_CLASSPATH" |
22 |
22 |
23 [ -n "$CLASSPATH" ] && classpath "$CLASSPATH" |
23 [ -n "$CLASSPATH" ] && classpath "$CLASSPATH" |
24 |
24 |
25 echo "$ISABELLE_ROOT" |
25 echo "$ISABELLE_ROOT" |
26 echo "$CYGWIN_ROOT" |
26 echo "$CYGWIN_ROOT" |