tuned;
authorwenzelm
Mon Oct 30 20:09:24 2017 +0100 (18 months ago)
changeset 66947eefbb2300669
parent 66946 3d8fd98c7c86
child 66948 47249c5ec3a4
tuned;
src/Doc/System/Environment.thy
     1.1 --- a/src/Doc/System/Environment.thy	Mon Oct 30 20:04:10 2017 +0100
     1.2 +++ b/src/Doc/System/Environment.thy	Mon Oct 30 20:09:24 2017 +0100
     1.3 @@ -255,8 +255,8 @@
     1.4    "$ISABELLE_HOME_USER/etc/components"}, although it is often more convenient
     1.5    to do that programmatically via the \<^verbatim>\<open>init_component\<close> shell function in the
     1.6    \<^verbatim>\<open>etc/settings\<close> script of \<^verbatim>\<open>$ISABELLE_HOME_USER\<close> (or any other component
     1.7 -  directory). For example: @{verbatim [display] \<open>init_component
     1.8 -  "$HOME/screwdriver-2.0"\<close>}
     1.9 +  directory). For example:
    1.10 +  @{verbatim [display] \<open>init_component "$HOME/screwdriver-2.0"\<close>}
    1.11  
    1.12    This is tolerant wrt.\ missing component directories, but might produce a
    1.13    warning.