author | haftmann |
Sun, 22 Jul 2012 10:00:51 +0200 | |
changeset 49443 | ffa0618cc4d4 |
parent 49442 | 571cb1df0768 |
child 49444 | 4b7f4482c552 |
1.1 --- a/NEWS Sun Jul 22 09:56:34 2012 +0200 1.2 +++ b/NEWS Sun Jul 22 10:00:51 2012 +0200 1.3 @@ -29,6 +29,9 @@ 1.4 1.5 *** HOL *** 1.6 1.7 +* Library/Debug.thy and Library/Parallel.thy: debugging and parallel 1.8 +execution for code generated towards Isabelle/ML. 1.9 + 1.10 * Simproc "finite_Collect" rewrites set comprehensions into pointfree 1.11 expressions. 1.12