ANNOUNCE
changeset 68648 371e814af6f0
parent 68599 cc7b5e0355a5
child 70214 0674c24afc5e
equal deleted inserted replaced
68647:f0d98441eff5 68648:371e814af6f0
    18 
    18 
    19 * Numerous HOL library improvements, including HOL-Algebra.
    19 * Numerous HOL library improvements, including HOL-Algebra.
    20 
    20 
    21 * Substantial additions to HOL-Analysis.
    21 * Substantial additions to HOL-Analysis.
    22 
    22 
       
    23 * HOL-Library.Code_Lazy: code generation for lazy evaluation.
       
    24 
       
    25 * HOL-Real_Asymp: tools for semi-automatic real asymptotics.
       
    26 
    23 * Isabelle server for reactive communication with other programs.
    27 * Isabelle server for reactive communication with other programs.
    24 
    28 
    25 * More uniform 64-bit platform support: smaller Isabelle application.
    29 * More uniform 64-bit platform support: smaller Isabelle application.
    26 
    30 
    27 
    31