ANNOUNCE
changeset 68648 371e814af6f0
parent 68599 cc7b5e0355a5
child 70214 0674c24afc5e
--- 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.