| changeset 73550 | 2f6855142a8c |
| parent 73481 | 92db3e31fae3 |
| child 73586 | 76d0b6597c91 |
--- a/NEWS Fri Apr 09 21:07:11 2021 +0200 +++ b/NEWS Fri Apr 09 22:06:59 2021 +0200 @@ -88,6 +88,10 @@ *** ML *** +* ML antiquotations \<^try>\<open>expr\<close> and \<^can>\<open>expr\<close> operate directly on +the given ML expression, in contrast to functions "try" and "can" that +modify application of a function. + * External bash processes are always managed by Isabelle/Scala, in contrast to Isabelle2021 where this was only done for macOS on Apple Silicon.