equal
deleted
inserted
replaced
289 The @{tool_def build} tool invokes the build process for Isabelle sessions. |
289 The @{tool_def build} tool invokes the build process for Isabelle sessions. |
290 It manages dependencies between sessions, related sources of theories and |
290 It manages dependencies between sessions, related sources of theories and |
291 auxiliary files, and target heap images. Accordingly, it runs instances of |
291 auxiliary files, and target heap images. Accordingly, it runs instances of |
292 the prover process with optional document preparation. Its command-line |
292 the prover process with optional document preparation. Its command-line |
293 usage is:\<^footnote>\<open>Isabelle/Scala provides the same functionality via |
293 usage is:\<^footnote>\<open>Isabelle/Scala provides the same functionality via |
294 \<^verbatim>\<open>isabelle.Build.build\<close>.\<close> |
294 \<^scala_method>\<open>isabelle.Build.build\<close>.\<close> |
295 @{verbatim [display] |
295 @{verbatim [display] |
296 \<open>Usage: isabelle build [OPTIONS] [SESSIONS ...] |
296 \<open>Usage: isabelle build [OPTIONS] [SESSIONS ...] |
297 |
297 |
298 Options are: |
298 Options are: |
299 -B NAME include session NAME and all descendants |
299 -B NAME include session NAME and all descendants |