clarified NEWS: document_files are officially required since Isabelle2014, but the absence was tolerated as legacy feature;
(* Title: Pure/ML-Systems/maximum_ml_stack_dummy.ML
Maximum stack size (in words) for ML threads -- dummy version.
*)
fun maximum_ml_stack (_: int option) : Thread.threadAttribute list = [];