# HG changeset patch
# User wenzelm
# Date 1531909315 -7200
# Node ID 371e814af6f048d9746d855785d49b4d9c6329bb
# Parent  f0d98441eff5d887b09ea10586dfb3dc926c5249
more ANNOUNCE;

diff -r f0d98441eff5 -r 371e814af6f0 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.