1.1 --- a/etc/settings	Thu Mar 07 16:36:22 2019 +0100
     1.2 +++ b/etc/settings	Thu Mar 07 16:50:20 2019 +0100
     1.3 @@ -66,9 +66,9 @@
     1.4  
     1.5  # The place for user configuration, heap files, etc.
     1.6  if [ -z "$ISABELLE_IDENTIFIER" ]; then
     1.7 -  ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisac333"
     1.8 +  ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisacREP"
     1.9  else
    1.10 -  ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisac333"
    1.11 +  ISABELLE_HOME_USER="$USER_HOME/.isabelle/isabisacREP"
    1.12  fi
    1.13  
    1.14  # Where to look for isabelle tools (multiple dirs separated by ':').

     2.1 --- a/src/Pure/System/distribution.ML	Thu Mar 07 16:36:22 2019 +0100
     2.2 +++ b/src/Pure/System/distribution.ML	Thu Mar 07 16:50:20 2019 +0100
     2.3 @@ -6,7 +6,7 @@
     2.4  
     2.5  structure Distribution =
     2.6  struct
     2.7 -  val version = "Isabelle2018 + Isac in 333";
     2.8 +  val version = "Isabelle2018 + Isac in REP";
     2.9    val is_identified = true;
    2.10    val is_official = false;
    2.11  end;

     3.1 --- a/src/Pure/System/distribution.scala	Thu Mar 07 16:36:22 2019 +0100
     3.2 +++ b/src/Pure/System/distribution.scala	Thu Mar 07 16:50:20 2019 +0100
     3.3 @@ -9,7 +9,7 @@
     3.4  
     3.5  object Distribution
     3.6  {
     3.7 -  val version = "Isabelle2018 + Isac in 333"
     3.8 +  val version = "Isabelle2018 + Isac in REP"
     3.9    val is_identified = true
    3.10    val is_official = false
    3.11  }