src/Pure/System/distribution.ML

Added tag Isabelle2019-RC4 for changeset ad2d84c42380

(*  Title:      Pure/System/distribution.ML
    Author:     Makarius

The Isabelle system distribution -- filled-in by makedist.
*)

structure Distribution =
struct
  val version = "repository version";
  val is_identified = false;
  val is_official = false;
end;