--- a/NEWS Thu Nov 12 16:27:31 2020 +0100
+++ b/NEWS Sat Nov 14 12:55:05 2020 +0100
@@ -32,6 +32,11 @@
*** Document preparation ***
+* Keyword 'document_theories' within ROOT specifies theories from other
+sessions that should be included in the generated document source
+directory. This does not affect the generated session.tex: \input{...}
+needs to be used separately.
+
* The standard LaTeX engine is now lualatex, according to settings
variable ISABELLE_PDFLATEX. This is mostly upwards compatible with old
pdflatex, but text encoding needs to conform strictly to utf8. Rare