equal
deleted
inserted
replaced
223 - Isabelle_System.rm_tree |
223 - Isabelle_System.rm_tree |
224 - Isabelle_System.download |
224 - Isabelle_System.download |
225 |
225 |
226 |
226 |
227 *** System *** |
227 *** System *** |
|
228 |
|
229 * Command-line tool "isabelle build" supports option -L FILE for syslog |
|
230 messages. Such messages can be produced in Isabelle/ML via formal |
|
231 Output.system_message or informal Output.physical_stderr. |
228 |
232 |
229 * Command-line tool "isabelle version" supports repository archives |
233 * Command-line tool "isabelle version" supports repository archives |
230 (without full .hg directory). More options. |
234 (without full .hg directory). More options. |
231 |
235 |
232 * Obsolete settings variable ISABELLE_PLATFORM32 has been discontinued. |
236 * Obsolete settings variable ISABELLE_PLATFORM32 has been discontinued. |