changeset 60169 | 4f0da9bf525a |
parent 60166 | 7d6f46b7fc10 |
1.1 --- a/src/Pure/System/distribution.scala Mon Mar 08 09:40:09 2021 +0100 1.2 +++ b/src/Pure/System/distribution.scala Mon Mar 08 09:43:59 2021 +0100 1.3 @@ -9,7 +9,7 @@ 1.4 1.5 object Distribution 1.6 { 1.7 - val version = "Isabelle2021: February 2021" 1.8 + val version = "Isabelle2021: February 2021 + Isac" 1.9 val is_identified = true 1.10 - val is_official = true 1.11 + val is_official = false 1.12 }