equal
deleted
inserted
replaced
164 |
164 |
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 enabled |
170 via "-u OPT" (for "update_OPT"), see also $ISABELLE_HOME/etc/options |
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 section "Theory update". Theory sessions are specified as in "isabelle |
172 dump". |
172 dump". |
173 |
173 |
174 * The command-line tool "isabelle update -u control_cartouches" changes |
174 * The command-line tool "isabelle update -u control_cartouches" changes |