equal
deleted
inserted
replaced
230 |
230 |
231 |
231 |
232 *** System *** |
232 *** System *** |
233 |
233 |
234 * System option "system_log" specifies an optional log file for internal |
234 * System option "system_log" specifies an optional log file for internal |
235 messages produced by Output.system_message in Isabelle/ML; "-" refers to |
235 messages produced by Output.system_message in Isabelle/ML; the value |
236 console progress of the build job. This works for "isabelle build" or |
236 "true" refers to console progress of the build job. This works for |
237 any derivative of it. |
237 "isabelle build" or any derivative of it. |
|
238 |
|
239 * System options of type string may be set to "true" using the short |
|
240 notation of type bool. E.g. "isabelle build -o system_log". |
|
241 |
|
242 * System option "document=true" is an alias for "document=pdf" and thus |
|
243 can be used in the short form. E.g. "isabelle build -o document". |
238 |
244 |
239 * Command-line tool "isabelle version" supports repository archives |
245 * Command-line tool "isabelle version" supports repository archives |
240 (without full .hg directory). More options. |
246 (without full .hg directory). More options. |
241 |
247 |
242 * Obsolete settings variable ISABELLE_PLATFORM32 has been discontinued. |
248 * Obsolete settings variable ISABELLE_PLATFORM32 has been discontinued. |