src/Doc/System/Misc.thy
changeset 53435 2220f0fb5581
parent 52550 09e52d4a850a
child 54683 cf48ddc266e5
equal deleted inserted replaced
53434:92da725a248f 53435:2220f0fb5581
    19 
    19 
    20   Options are:
    20   Options are:
    21     -I           init user settings
    21     -I           init user settings
    22     -R URL       component repository
    22     -R URL       component repository
    23                  (default $ISABELLE_COMPONENT_REPOSITORY)
    23                  (default $ISABELLE_COMPONENT_REPOSITORY)
    24     -a           all missing components
    24     -a           resolve all missing components
    25     -l           list status
    25     -l           list status
    26 
    26 
    27   Resolve Isabelle components via download and installation.
    27   Resolve Isabelle components via download and installation.
    28   COMPONENTS are identified via base name.
    28   COMPONENTS are identified via base name.
    29 
    29 
    40   Option @{verbatim "-R"} specifies an alternative component
    40   Option @{verbatim "-R"} specifies an alternative component
    41   repository.  Note that @{verbatim "file:///"} URLs can be used for
    41   repository.  Note that @{verbatim "file:///"} URLs can be used for
    42   local directories.
    42   local directories.
    43 
    43 
    44   Option @{verbatim "-a"} selects all missing components to be
    44   Option @{verbatim "-a"} selects all missing components to be
    45   installed.  Explicit components may be named as command
    45   resolved.  Explicit components may be named as command
    46   line-arguments as well.  Note that components are uniquely
    46   line-arguments as well.  Note that components are uniquely
    47   identified by their base name, while the installation takes place in
    47   identified by their base name, while the installation takes place in
    48   the location that was specified in the attempt to initialize the
    48   the location that was specified in the attempt to initialize the
    49   component before.
    49   component before.
    50 
    50