--- a/NEWS Sat Feb 27 21:01:07 2021 +0100 +++ b/NEWS Sat Feb 27 21:36:58 2021 +0100 @@ -73,6 +73,7 @@ - Isabelle_System.copy_dir - Isabelle_System.copy_file - Isabelle_System.copy_base_file + - Isabelle_System.download