equal
deleted
inserted
replaced
113 document processing. In contrast, files that are specified in |
113 document processing. In contrast, files that are specified in |
114 formal theory headers as @{keyword "uses"} need not be declared |
114 formal theory headers as @{keyword "uses"} need not be declared |
115 again. |
115 again. |
116 |
116 |
117 \end{description} |
117 \end{description} |
118 |
118 *} |
119 Plenty of examples may be found in the Isabelle distribution, such |
119 |
120 as in @{file "~~/src/HOL/ROOT"}. *} |
120 subsubsection {* Examples *} |
|
121 |
|
122 text {* See @{file "~~/src/HOL/ROOT"} for a diversity of practically |
|
123 relevant situations. *} |
121 |
124 |
122 |
125 |
123 section {* System build options \label{sec:system-options} *} |
126 section {* System build options \label{sec:system-options} *} |
124 |
127 |
125 text {* FIXME *} |
128 text {* See @{file "~~/etc/options"} for the main defaults provided by |
|
129 the Isabelle distribution. |
|
130 |
|
131 Note that Isabelle/jEdit \secref{sec:tool-jedit} includes a simple |
|
132 editing mode @{verbatim "isabelle-options"} for this file-format. |
|
133 *} |
126 |
134 |
127 |
135 |
128 section {* Invoking the build process \label{sec:tool-build} *} |
136 section {* Invoking the build process \label{sec:tool-build} *} |
129 |
137 |
130 text {* The @{tool_def build} utility invokes the build process for |
138 text {* The @{tool_def build} utility invokes the build process for |