| changeset 75620 | 44815dc2b8f9 |
| parent 75610 | da901dcafc29 |
| child 75625 | 0dd3ac5fdbaa |
--- a/NEWS Sat Jun 25 10:27:42 2022 +0200 +++ b/NEWS Sat Jun 25 13:19:15 2022 +0200 @@ -171,8 +171,8 @@ * Operations for XZ compression (via Isabelle/Scala): - Isabelle_System.compress: Bytes.T -> Bytes.T - Isabelle_System.uncompress: Bytes.T -> Bytes.T + XZ.compress: Bytes.T -> Bytes.T + XZ.uncompress: Bytes.T -> Bytes.T *** System ***