Searched refs:USER_HOME (Results 1 - 8 of 8) sorted by relevance
| /seL4-l4v-10.1.1/isabelle/src/Pure/Tools/ |
| H A D | build_docker.scala | 66 perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$USER_HOME/.isabelle",g;' Isabelle/etc/settings && \
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/ |
| H A D | build_docker.scala | 66 perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$USER_HOME/.isabelle",g;' Isabelle/etc/settings && \
|
| /seL4-l4v-10.1.1/isabelle/Admin/lib/Tools/ |
| H A D | makedist | 204 rmdir "$USER_HOME/.isabelle/${DISTNAME}-build"
205 rmdir "$USER_HOME/.isabelle/${DISTNAME}"
|
| H A D | makedist_bundle | 67 elsif (m,$USER_HOME/.isabelle/contrib/(.*)\$,) { print qq{contrib/\$1}; }
|
| /seL4-l4v-10.1.1/l4v/isabelle/Admin/lib/Tools/ |
| H A D | makedist | 204 rmdir "$USER_HOME/.isabelle/${DISTNAME}-build"
205 rmdir "$USER_HOME/.isabelle/${DISTNAME}"
|
| H A D | makedist_bundle | 67 elsif (m,$USER_HOME/.isabelle/contrib/(.*)\$,) { print qq{contrib/\$1}; }
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/lib/Tools/ |
| H A D | jedit | 119 echo " (default \"$USER_HOME/Scratch.thy\" or \":\" for empty buffer)."
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/lib/Tools/ |
| H A D | jedit | 119 echo " (default \"$USER_HOME/Scratch.thy\" or \":\" for empty buffer)."
|
Completed in 59 milliseconds