# HG changeset patch
# User wenzelm
# Date 1762201196 -3600
# Node ID d83e23a67e9cb5bfb943334b7d720376d9b925d2
# Parent  c485d66e5a6ea280caa9f71218be040f8502e003
more NEWS;

diff -r c485d66e5a6e -r d83e23a67e9c NEWS
--- a/NEWS	Mon Nov 03 21:09:20 2025 +0100
+++ b/NEWS	Mon Nov 03 21:19:56 2025 +0100
@@ -41,6 +41,13 @@
 
 *** Isabelle/jEdit Prover IDE ***
 
+* Support for screen reader technology via Java Accessibility API
+(JAAPI), for blind or visually impaired users. Tested with:
+
+  - NVDA (Windows), see https://www.nvaccess.org
+  - JAWS (Windows), see https://support.freedomscientific.com/Downloads/JAWS
+  - VoiceOver (macOS), builtin Command-F5
+
 * The command-line tool "isabelle jedit" now supports option "-o" as in
 "isabelle build", but it takes persistent preferences into account. When
 options are loaded, command-line options take precedence. When options