support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;
(* 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;