clarified NEWS: document_files are officially required since Isabelle2014, but the absence was tolerated as legacy feature;
@Book{davenport92,
author = {H. Davenport},
title = {The Higher Arithmetic},
publisher = {Cambridge University Press},
year = 1992
}