ANNOUNCE
changeset 68648 371e814af6f0
parent 68599 cc7b5e0355a5
child 70032 0674c24afc5e
     1.1 --- a/ANNOUNCE	Wed Jul 18 11:47:05 2018 +0200
     1.2 +++ b/ANNOUNCE	Wed Jul 18 12:21:55 2018 +0200
     1.3 @@ -20,6 +20,10 @@
     1.4  
     1.5  * Substantial additions to HOL-Analysis.
     1.6  
     1.7 +* HOL-Library.Code_Lazy: code generation for lazy evaluation.
     1.8 +
     1.9 +* HOL-Real_Asymp: tools for semi-automatic real asymptotics.
    1.10 +
    1.11  * Isabelle server for reactive communication with other programs.
    1.12  
    1.13  * More uniform 64-bit platform support: smaller Isabelle application.