ANNOUNCE
changeset 57511 de51a86fc903
parent 57505 63e2163c4736
child 57524 b8448367f9c7
equal deleted inserted replaced
57510:8f1dc3b2daa5 57511:de51a86fc903
    26   versions of Z3, as well as CVC3, CVC4.
    26   versions of Z3, as well as CVC3, CVC4.
    27 
    27 
    28 * HOL: numerous library enhancements: main HOL, HOL-Word,
    28 * HOL: numerous library enhancements: main HOL, HOL-Word,
    29   HOL-Multivariate_Analysis, HOL-Probability.
    29   HOL-Multivariate_Analysis, HOL-Probability.
    30 
    30 
    31 * System integration: improved support of LateX on Windows platform.
    31 * System integration: improved support of LaTeX on Windows platform.
    32 
    32 
    33 * Updated and extended manuals: codegen, datatypes, implementation,
    33 * Updated and extended manuals: codegen, datatypes, implementation,
    34   isar-ref, jedit, system.
    34   isar-ref, jedit, system.
    35 
    35 
    36 
    36