equal
deleted
inserted
replaced
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 |