Searched refs:SETTINGS_CONTENT (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Dcomponents90 SETTINGS_CONTENT='init_components "$USER_HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"'
97 echo " $SETTINGS_CONTENT"
102 echo "$SETTINGS_CONTENT" > "$SETTINGS"
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Dcomponents90 SETTINGS_CONTENT='init_components "$USER_HOME/.isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"'
97 echo " $SETTINGS_CONTENT"
102 echo "$SETTINGS_CONTENT" > "$SETTINGS"

Completed in 85 milliseconds