--- a/NEWS Thu Apr 04 22:17:37 2019 +0200
+++ b/NEWS Thu Apr 04 22:18:16 2019 +0200
@@ -41,6 +41,13 @@
need to provide a closed expression -- without trailing semicolon. Minor
INCOMPATIBILITY.
+* Commands 'generate_file', 'export_generated_files', and
+'compile_generated_files' support a stateless (PIDE-conformant) model
+for generated sources and compiled binaries of other languages. The
+compilation processed is managed in Isabelle/ML, and results exported to
+the session database for further use (e.g. with "isabelle export" or
+"isabelle build -e").
+
*** Isabelle/jEdit Prover IDE ***