NEWS
changeset 48428 ffa0618cc4d4
parent 48402 327ebf1c42a8
child 48431 6efff142bb54
     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