# HG changeset patch
# User wenzelm
# Date 1541712917 -3600
# Node ID e86d8cb40610e0b688dcce08c8f5e76efb668c18
# Parent  15e9ed5b28fbf4974c6e1dd2b52dae09e52ac22d
NEWS;

diff -r 15e9ed5b28fb -r e86d8cb40610 NEWS
--- a/NEWS	Thu Nov 08 22:29:09 2018 +0100
+++ b/NEWS	Thu Nov 08 22:35:17 2018 +0100
@@ -25,6 +25,11 @@
 * Improved sub-pixel font rendering (especially on Linux), thanks to
 OpenJDK 11.
 
+* Support for user-defined file-formats via class isabelle.File_Format
+in Isabelle/Scala (e.g. see isabelle.Bibtex.File_Format). It is
+configured via the shell function "isabelle_file_format" in
+etc/settings, e.g. of an Isabelle component.
+
 
 *** Isar ***