equal
deleted
inserted
replaced
16 The @{tool_def components} tool resolves Isabelle components: |
16 The @{tool_def components} tool resolves Isabelle components: |
17 \begin{ttbox} |
17 \begin{ttbox} |
18 Usage: isabelle components [OPTIONS] [COMPONENTS ...] |
18 Usage: isabelle components [OPTIONS] [COMPONENTS ...] |
19 |
19 |
20 Options are: |
20 Options are: |
|
21 -I init user settings |
21 -R URL component repository |
22 -R URL component repository |
22 (default $ISABELLE_COMPONENT_REPOSITORY) |
23 (default $ISABELLE_COMPONENT_REPOSITORY) |
23 -a all missing components |
24 -a all missing components |
24 -l list status |
25 -l list status |
25 |
26 |
47 the location that was specified in the attempt to initialize the |
48 the location that was specified in the attempt to initialize the |
48 component before. |
49 component before. |
49 |
50 |
50 Option @{verbatim "-l"} lists the current state of available and |
51 Option @{verbatim "-l"} lists the current state of available and |
51 missing components with their location (full name) within the |
52 missing components with their location (full name) within the |
52 file-system. *} |
53 file-system. |
|
54 |
|
55 Option @{verbatim "-I"} initializes the user settings file to |
|
56 subscribe to the standard components specified in the Isabelle |
|
57 repository clone --- this does not make any sense for regular |
|
58 Isabelle releases. If the file already exists, it needs to be |
|
59 edited manually according to the printed explanation. |
|
60 *} |
53 |
61 |
54 |
62 |
55 section {* Displaying documents *} |
63 section {* Displaying documents *} |
56 |
64 |
57 text {* The @{tool_def display} tool displays documents in DVI or PDF |
65 text {* The @{tool_def display} tool displays documents in DVI or PDF |