| changeset 73480 | 0e880b793db1 |
| parent 73477 | 1d8a79aa2a99 |
| child 73481 | 92db3e31fae3 |
--- 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) -----------------------------------