src/Pure/System/distribution.ML

more robust Session.stop: idempotent, avoid conflict with startup;

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

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

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