diff -r 571cb1df0768 -r ffa0618cc4d4 NEWS
--- a/NEWS	Sun Jul 22 09:56:34 2012 +0200
+++ b/NEWS	Sun Jul 22 10:00:51 2012 +0200
@@ -29,6 +29,9 @@
 
 *** HOL ***
 
+* Library/Debug.thy and Library/Parallel.thy: debugging and parallel
+execution for code generated towards Isabelle/ML.
+
 * Simproc "finite_Collect" rewrites set comprehensions into pointfree
 expressions.