62845
|
1 |
(* Title: Pure/System/distribution.ML
|
|
2 |
Author: Makarius
|
|
3 |
|
|
4 |
The Isabelle system distribution -- filled-in by makedist.
|
|
5 |
*)
|
|
6 |
|
|
7 |
structure Distribution =
|
|
8 |
struct
|
|
9 |
val version = "unidentified repository version";
|
|
10 |
val is_identified = false;
|
|
11 |
val is_official = false;
|
|
12 |
end;
|