clarified NEWS: document_files are officially required since Isabelle2014, but the absence was tolerated as legacy feature;
session Spec_Check in Spec_Check = Pure +
theories
Spec_Check
theories [condition = ML_SYSTEM_POLYML]
Examples
session SML in SML = Pure +
options [condition = ML_SYSTEM_POLYML]
theories
Examples