more ANNOUNCE;
authorwenzelm
Wed, 18 Jul 2018 12:21:55 +0200
changeset 68648 371e814af6f0
parent 68647 f0d98441eff5
child 68649 1e37b45ce3fb
child 68650 f849fc1cb65e
more ANNOUNCE;
ANNOUNCE
--- a/ANNOUNCE	Wed Jul 18 11:47:05 2018 +0200
+++ b/ANNOUNCE	Wed Jul 18 12:21:55 2018 +0200
@@ -20,6 +20,10 @@
 
 * Substantial additions to HOL-Analysis.
 
+* HOL-Library.Code_Lazy: code generation for lazy evaluation.
+
+* HOL-Real_Asymp: tools for semi-automatic real asymptotics.
+
 * Isabelle server for reactive communication with other programs.
 
 * More uniform 64-bit platform support: smaller Isabelle application.