| changeset 72511 | 460d743010bc |
| parent 72510 | a471730347e0 |
| child 72515 | c7038c397ae3 |
--- a/NEWS Mon Oct 26 21:35:39 2020 +0100 +++ b/NEWS Tue Oct 27 22:34:37 2020 +0100 @@ -184,6 +184,9 @@ registered Isabelle/Scala functions (of type String => String): invocation works via the PIDE protocol. +* Path.append is available as overloaded "+" operator, similar to +corresponding Isabelle/Scala operation. + *** System ***