equal
deleted
inserted
replaced
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 resolve all missing components" |
20 echo " -a resolve all missing components" |
21 echo " -l list status" |
21 echo " -l list status" |
22 echo " -u DIR update \$ISABELLE_HOME_USER/components: add directory" |
22 echo " -u DIR update \$ISABELLE_HOME_USER/etc/components: add directory" |
23 echo " -x DIR update \$ISABELLE_HOME_USER/components: remove directory" |
23 echo " -x DIR update \$ISABELLE_HOME_USER/etc/components: remove directory" |
24 echo |
24 echo |
25 echo " Resolve Isabelle components via download and installation: given COMPONENTS" |
25 echo " Resolve Isabelle components via download and installation: given COMPONENTS" |
26 echo " are identified via base name. Further operations manage etc/settings and" |
26 echo " are identified via base name. Further operations manage etc/settings and" |
27 echo " etc/components in \$ISABELLE_HOME_USER." |
27 echo " etc/components in \$ISABELLE_HOME_USER." |
28 echo |
28 echo |