clarified NEWS: document_files are officially required since Isabelle2014, but the absence was tolerated as legacy feature;
Prover IDE support
==================
This is some basic support for PIDE Scala programming, independently
of the main Isabelle repository.
Makarius
17-Jan-2012