# HG changeset patch
# User wenzelm
# Date 1613245169 -3600
# Node ID d92409f8203aa0a66dae8ff91c2976a657e950ec
# Parent  b9c480878663fa7a02d3a08294b436610b9376af
tuned NEWS;

diff -r b9c480878663 -r d92409f8203a NEWS
--- a/NEWS	Wed Feb 10 22:30:51 2021 +0100
+++ b/NEWS	Sat Feb 13 20:39:29 2021 +0100
@@ -69,12 +69,14 @@
 * Improved GUI support for macOS 11.1 Big Sur: native fullscreen mode,
 but non-native look-and-feel (FlatLaf).
 
+* Hyperlinks to various file-formats (.pdf, .png, etc.) open an external
+viewer, instead of re-using the jEdit text editor.
+
 * IDE support for Naproche-SAD: Proof Checking of Natural Mathematical
 Documents. See also $NAPROCHE_HOME/examples for files with .ftl or
-.ftl.tex extension.
-
-* Hyperlinks to various file-formats (.pdf, .png, etc.) open an external
-viewer, instead of re-using the jEdit text editor.
+.ftl.tex extension. The corresponding Naproche-SAD server process can be
+disabled by setting the system option naproche_server=false and
+restarting the Isabelle application.
 
 
 *** Document preparation ***