more ANNOUNCE;
authorwenzelm
Wed Jul 18 12:21:55 2018 +0200 (9 months ago)
changeset 68648371e814af6f0
parent 68647 f0d98441eff5
child 68649 f849fc1cb65e
child 68652 1e37b45ce3fb
more ANNOUNCE;
ANNOUNCE
     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.