Searched refs:ISABELLE_TOOL_JAVA_OPTIONS (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Dconsole9 eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Dconsole9 eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"
/seL4-l4v-10.1.1/isabelle/bin/
H A Disabelle48 eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"
H A Disabelle_java17 eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)"
/seL4-l4v-10.1.1/l4v/isabelle/bin/
H A Disabelle48 eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"
H A Disabelle_java17 eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $ISABELLE_TOOL_JAVA_OPTIONS)"

Completed in 83 milliseconds