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 if [ -f "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" ]; then |
21 isabelle_setup_classpath |
22 classpath "$ISABELLE_HOME/src/Tools/jEdit/dist/jedit.jar" |
|
23 fi |
|
24 |
22 |
25 [ -n "$CLASSPATH" ] && classpath "$CLASSPATH" |
23 [ -n "$CLASSPATH" ] && classpath "$CLASSPATH" |
26 |
24 |
27 echo "$ISABELLE_ROOT" |
25 echo "$ISABELLE_ROOT" |
28 echo "$CYGWIN_ROOT" |
26 echo "$CYGWIN_ROOT" |