ANNOUNCE
changeset 70293 491453ea09bb
parent 70214 0674c24afc5e
child 70471 9d7256d23ae3
equal deleted inserted replaced
70292:55220f2d09d2 70293:491453ea09bb
    16 * HOL: 'export_code' now generates logical files in the theory and session
    16 * HOL: 'export_code' now generates logical files in the theory and session
    17 context, e.g. browsable as "isabelle-export:" in Isabelle/jEdit.
    17 context, e.g. browsable as "isabelle-export:" in Isabelle/jEdit.
    18 
    18 
    19 * HOL: various syntax and library improvements.
    19 * HOL: various syntax and library improvements.
    20 
    20 
    21 * HOL-Analysis: more material and better organization.
    21 * HOL libraries: better organization and much more material in HOL-Algebra,
       
    22 HOL-Analysis, HOL-Homology.
    22 
    23 
    23 * Isabelle/ML environments for separate SML applications.
    24 * Isabelle/ML environments for separate SML applications.
    24 
    25 
    25 * Isabelle/Haskell library for implementation of Isabelle/PIDE backends.
    26 * Isabelle/Haskell library for implementation of Isabelle/PIDE backends.
    26 
    27