--- a/NEWS Sat Mar 27 17:13:15 2021 +0100
+++ b/NEWS Sat Mar 27 18:01:41 2021 +0100
@@ -144,7 +144,7 @@
*** System ***
* Command-line tool "isabelle version" supports repository archives
-(without full .hg directory).
+(without full .hg directory). More options.