1.1 --- a/src/Pure/System/distribution.ML	Mon Mar 08 09:40:09 2021 +0100
     1.2 +++ b/src/Pure/System/distribution.ML	Mon Mar 08 09:43:59 2021 +0100
     1.3 @@ -6,7 +6,7 @@
     1.4  
     1.5  structure Distribution =
     1.6  struct
     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  end;

     2.1 --- a/src/Pure/System/distribution.scala	Mon Mar 08 09:40:09 2021 +0100
     2.2 +++ b/src/Pure/System/distribution.scala	Mon Mar 08 09:43:59 2021 +0100
     2.3 @@ -9,7 +9,7 @@
     2.4  
     2.5  object Distribution
     2.6  {
     2.7 -  val version = "Isabelle2021: February 2021"
     2.8 +  val version = "Isabelle2021: February 2021 + Isac"
     2.9    val is_identified = true
    2.10 -  val is_official = true
    2.11 +  val is_official = false
    2.12  }