# HG changeset patch
# User wenzelm
# Date 1546787238 -3600
# Node ID 1d2d4ae9ab817cf53d9a75d4784ec561a715954e
# Parent  2b3a247889f8d423853dcc41569e576fe33cff31
tuned;

diff -r 2b3a247889f8 -r 1d2d4ae9ab81 NEWS
--- a/NEWS	Sun Jan 06 15:39:05 2019 +0100
+++ b/NEWS	Sun Jan 06 16:07:18 2019 +0100
@@ -166,7 +166,7 @@
 
 * The command-line tool "isabelle update" uses Isabelle/PIDE in
 batch-mode to update theory sources based on semantic markup produced in
-Isabelle/ML. Actual updates depend on system options that may be enable
+Isabelle/ML. Actual updates depend on system options that may be enabled
 via "-u OPT" (for "update_OPT"), see also $ISABELLE_HOME/etc/options
 section "Theory update". Theory sessions are specified as in "isabelle
 dump".