src/Pure/System/distribution.scala

support multi-threaded Bash.process invocation on Apple Silicon, where Poly/ML is running on Rosetta 2;

/*  Title:      Pure/System/distribution.scala
    Author:     Makarius

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

package isabelle


object Distribution
{
  val version = "repository version"
  val is_identified = false
  val is_official = false
}