NEWS

--- a/NEWS	Sun May 29 15:16:49 2022 +0200
+++ b/NEWS	Sun May 29 16:25:37 2022 +0200
@@ -117,6 +117,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)