src/Pure/System/distribution.ML
author wenzelm
Wed, 04 Oct 2017 12:00:53 +0200
changeset 66787 64b47495676d
parent 62845 31177a9c3025
child 67866 11e4060bcdca
permissions -rw-r--r--
obsolete;

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