# HG changeset patch
# User haftmann
# Date 1342944051 -7200
# Node ID ffa0618cc4d49b3f967bc4b8e01488eff15a12a1
# Parent  571cb1df07688d736bdec306d605b46c502030f4
NEWS

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.