lib/Tools/components
changeset 53435 2220f0fb5581
parent 53314 be1c07ec768f
child 63490 9416333a17c2
equal deleted inserted replaced
53434:92da725a248f 53435:2220f0fb5581
    15   echo "Usage: isabelle $PRG [OPTIONS] [COMPONENTS ...]"
    15   echo "Usage: isabelle $PRG [OPTIONS] [COMPONENTS ...]"
    16   echo
    16   echo
    17   echo "  Options are:"
    17   echo "  Options are:"
    18   echo "    -I           init user settings"
    18   echo "    -I           init user settings"
    19   echo "    -R URL       component repository (default \$ISABELLE_COMPONENT_REPOSITORY)"
    19   echo "    -R URL       component repository (default \$ISABELLE_COMPONENT_REPOSITORY)"
    20   echo "    -a           all missing components"
    20   echo "    -a           resolve all missing components"
    21   echo "    -l           list status"
    21   echo "    -l           list status"
    22   echo
    22   echo
    23   echo "  Resolve Isabelle components via download and installation."
    23   echo "  Resolve Isabelle components via download and installation."
    24   echo "  COMPONENTS are identified via base name."
    24   echo "  COMPONENTS are identified via base name."
    25   echo
    25   echo