Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
authorhaftmann
Sun, 22 Jul 2012 10:00:51 +0200
changeset 48428 ffa0618cc4d4
parent 48427 571cb1df0768
child 48429 4b7f4482c552
NEWS
NEWS file | annotate | diff | comparison | revisions 
--- 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.
isabelle