clarified message;
authorwenzelm
Thu Mar 15 11:49:29 2018 +0100 (16 months ago)
changeset 6786611e4060bcdca
parent 67865 ab0b8e388967
child 67867 fb66d099adb2
clarified message;
Admin/lib/Tools/makedist
README
lib/Tools/version
src/Pure/System/distribution.ML
src/Pure/System/distribution.scala
src/Tools/VSCode/extension/README.md
     1.1 --- a/Admin/lib/Tools/makedist	Thu Mar 15 11:44:07 2018 +0100
     1.2 +++ b/Admin/lib/Tools/makedist	Thu Mar 15 11:49:29 2018 +0100
     1.3 @@ -166,9 +166,9 @@
     1.4  perl -pi -e "s,ISABELLE_ID=\"\",ISABELLE_ID=\"$IDENT\",g" lib/scripts/getsettings
     1.5  perl -pi -e "s,ISABELLE_IDENTIFIER=\"\",ISABELLE_IDENTIFIER=\"$DISTNAME\",g" lib/scripts/getsettings
     1.6  perl -pi -e "s,{ISABELLE},$DISTNAME,g" lib/html/library_index_header.template
     1.7 -perl -pi -e "s,unidentified repository version,$DISTVERSION,g" \
     1.8 +perl -pi -e "s,repository version,$DISTVERSION,g" \
     1.9    src/Pure/System/distribution.ML src/Pure/System/distribution.scala lib/Tools/version
    1.10 -perl -pi -e "s,some unidentified repository version of Isabelle,$DISTVERSION,g" README
    1.11 +perl -pi -e "s,some repository version of Isabelle,$DISTVERSION,g" README
    1.12  
    1.13  mkdir -p contrib
    1.14  cat >contrib/README <<EOF
     2.1 --- a/README	Thu Mar 15 11:44:07 2018 +0100
     2.2 +++ b/README	Thu Mar 15 11:49:29 2018 +0100
     2.3 @@ -2,7 +2,7 @@
     2.4  
     2.5  Version information
     2.6  
     2.7 -   This is some unidentified repository version of Isabelle.
     2.8 +   This is some repository version of Isabelle.
     2.9  
    2.10     See the NEWS file in the distribution for details on user-relevant
    2.11     changes.
     3.1 --- a/lib/Tools/version	Thu Mar 15 11:44:07 2018 +0100
     3.2 +++ b/lib/Tools/version	Thu Mar 15 11:49:29 2018 +0100
     3.3 @@ -63,5 +63,5 @@
     3.4      "${HG:-hg}" -R "$ISABELLE_HOME" id -i -r tip 2>/dev/null || echo undefined
     3.5    fi
     3.6  else
     3.7 -  echo 'unidentified repository version'    # filled in automatically!
     3.8 +  echo 'repository version'    # filled in automatically!
     3.9  fi
     4.1 --- a/src/Pure/System/distribution.ML	Thu Mar 15 11:44:07 2018 +0100
     4.2 +++ b/src/Pure/System/distribution.ML	Thu Mar 15 11:49:29 2018 +0100
     4.3 @@ -6,7 +6,7 @@
     4.4  
     4.5  structure Distribution =
     4.6  struct
     4.7 -  val version = "unidentified repository version";
     4.8 +  val version = "repository version";
     4.9    val is_identified = false;
    4.10    val is_official = false;
    4.11  end;
     5.1 --- a/src/Pure/System/distribution.scala	Thu Mar 15 11:44:07 2018 +0100
     5.2 +++ b/src/Pure/System/distribution.scala	Thu Mar 15 11:49:29 2018 +0100
     5.3 @@ -9,7 +9,7 @@
     5.4  
     5.5  object Distribution
     5.6  {
     5.7 -  val version = "unidentified repository version"
     5.8 +  val version = "repository version"
     5.9    val is_identified = false
    5.10    val is_official = false
    5.11  }
     6.1 --- a/src/Tools/VSCode/extension/README.md	Thu Mar 15 11:44:07 2018 +0100
     6.2 +++ b/src/Tools/VSCode/extension/README.md	Thu Mar 15 11:49:29 2018 +0100
     6.3 @@ -1,7 +1,7 @@
     6.4  # Isabelle Prover IDE support
     6.5  
     6.6  This extension connects VSCode to the Isabelle Prover IDE infrastructure: it
     6.7 -requires an unidentified repository version of Isabelle.
     6.8 +requires a repository version of Isabelle.
     6.9  
    6.10  The implementation is centered around the VSCode Language Server protocol, but
    6.11  with many add-ons that are specific to VSCode and Isabelle/PIDE.