src/Pure/System/distribution.ML

documentation of document markers and re-interpreted command tags;

(*  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;