equal
deleted
inserted
replaced
165 *** System *** |
165 *** System *** |
166 |
166 |
167 * The command-line tool "isabelle update" uses Isabelle/PIDE in |
167 * The command-line tool "isabelle update" uses Isabelle/PIDE in |
168 batch-mode to update theory sources based on semantic markup produced in |
168 batch-mode to update theory sources based on semantic markup produced in |
169 Isabelle/ML. Actual updates depend on system options that may be enable |
169 Isabelle/ML. Actual updates depend on system options that may be enable |
170 via "-u OPT" (for "update_OPT"). Sessions are specified as in "isabelle |
170 via "-u OPT" (for "update_OPT"), see also $ISABELLE_HOME/etc/options |
|
171 section "Theory update". Theory sessions are specified as in "isabelle |
171 dump". |
172 dump". |
172 |
173 |
173 * Support for Isabelle command-line tools defined in Isabelle/Scala. |
174 * Support for Isabelle command-line tools defined in Isabelle/Scala. |
174 Instances of class Isabelle_Scala_Tools may be configured via the shell |
175 Instances of class Isabelle_Scala_Tools may be configured via the shell |
175 function "isabelle_scala_tools" in etc/settings (e.g. of an Isabelle |
176 function "isabelle_scala_tools" in etc/settings (e.g. of an Isabelle |