src/Pure/ROOT

remote_builds has PAR-SEQ semantics of old isatest-makedist;
tuned signature;

chapter Pure

session Pure =
  description {*
    The Pure logical framework
  *}
  options [threads = 1]
  global_theories
    Pure
  theories
    ML_Bootstrap