# HG changeset patch
# User wenzelm
# Date 1440085147 -7200
# Node ID 077f663b6c24eb7b87c87f1305e370fd4a9aa55e
# Parent  9d7ba380223c51c4c71e13cfbb3e34b454d879aa
tuned;

diff -r 9d7ba380223c -r 077f663b6c24 NEWS
--- a/NEWS	Thu Aug 20 14:35:22 2015 +0200
+++ b/NEWS	Thu Aug 20 17:39:07 2015 +0200
@@ -12,7 +12,7 @@
 * Improved scheduling for urgent print tasks (e.g. command state output,
 interactive queries) wrt. long-running background tasks.
 
-* IDE support the the source-level debugger of Poly/ML, to work with
+* IDE support for the source-level debugger of Poly/ML, to work with
 Isabelle/ML and official Standard ML. Configuration option "ML_debugger"
 and commands 'ML_file_debug', 'ML_file_no_debug', 'SML_file_debug',
 'SML_file_no_debug' control compilation of sources with debugging