| changeset 73774 | 734d5d3fbd9d |
| parent 73771 | d07ab5b14453 |
| child 73777 | 52e43a93d51f |
--- a/NEWS Sun May 23 21:03:32 2021 +0200 +++ b/NEWS Sun May 23 22:46:30 2021 +0200 @@ -226,6 +226,10 @@ *** System *** +* Command-line tool "isabelle build" supports option -L FILE for syslog +messages. Such messages can be produced in Isabelle/ML via formal +Output.system_message or informal Output.physical_stderr. + * Command-line tool "isabelle version" supports repository archives (without full .hg directory). More options.