NEWS
changeset 73872 b0ea03e837b1
parent 73851 aece5cc9efb7
child 73878 4dc3baf45d6a
equal deleted inserted replaced
73871:e768759ce6c5 73872:b0ea03e837b1
    23 https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/net/doc-files/net-properties.html
    23 https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/net/doc-files/net-properties.html
    24 
    24 
    25 * More symbol definitions for the Z Notation (Isabelle fonts and LaTeX).
    25 * More symbol definitions for the Z Notation (Isabelle fonts and LaTeX).
    26 See also the group "Z Notation" in the Symbols dockable of
    26 See also the group "Z Notation" in the Symbols dockable of
    27 Isabelle/jEdit.
    27 Isabelle/jEdit.
       
    28 
       
    29 
       
    30 *** Isabelle/jEdit Prover IDE ***
       
    31 
       
    32 * More robust 'proof' outline for method "induct": support nested cases.
    28 
    33 
    29 
    34 
    30 *** Document preparation ***
    35 *** Document preparation ***
    31 
    36 
    32 * Improved LaTeX typesetting of \<open>...\<close> using \guilsinglleft ...
    37 * Improved LaTeX typesetting of \<open>...\<close> using \guilsinglleft ...