diff -r 6e20976d58f5 -r 0e880b793db1 NEWS
--- a/NEWS	Sat Mar 27 17:05:36 2021 +0100
+++ b/NEWS	Sat Mar 27 17:13:15 2021 +0100
@@ -141,6 +141,12 @@
   - Isabelle_System.download
 
 
+*** System ***
+
+* Command-line tool "isabelle version" supports repository archives
+(without full .hg directory).
+
+
 
 New in Isabelle2021 (February 2021)
 -----------------------------------