--- a/NEWS Sat May 28 10:45:45 2022 +0200
+++ b/NEWS Sun May 29 22:47:34 2022 +0200
@@ -1,3 +1,4 @@
+
Isabelle NEWS -- history of user-relevant changes
=================================================
@@ -119,6 +120,10 @@
explicitly. This increases the chances that the Java/Scala IDE project
works properly.
+* Command-line tool "isabelle hg_sync" synchronizes the working
+directory of a local Mercurial repository with a target directory, using
+rsync notation for destinations.
+
New in Isabelle2021-1 (December 2021)