--- 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