equal
deleted
inserted
replaced
224 - Isabelle_System.download |
224 - Isabelle_System.download |
225 |
225 |
226 |
226 |
227 *** System *** |
227 *** System *** |
228 |
228 |
229 * Command-line tool "isabelle build" supports option -L FILE for syslog |
229 * System option "system_log" specifies an optional log file for internal |
230 messages. Such messages can be produced in Isabelle/ML via formal |
230 messages produced by Output.system_message in Isabelle/ML; "-" refers to |
231 Output.system_message or informal Output.physical_stderr. |
231 console progress of the build job. This works for "isabelle build" or |
|
232 any derivative of it. |
232 |
233 |
233 * Command-line tool "isabelle version" supports repository archives |
234 * Command-line tool "isabelle version" supports repository archives |
234 (without full .hg directory). More options. |
235 (without full .hg directory). More options. |
235 |
236 |
236 * Obsolete settings variable ISABELLE_PLATFORM32 has been discontinued. |
237 * Obsolete settings variable ISABELLE_PLATFORM32 has been discontinued. |