NEWS
changeset 62111 e2b768b0035d
parent 62101 26c0a70f78a3
parent 62109 d65f80949ff1
child 62114 a7cf464933f7
equal deleted inserted replaced
62102:877463945ce9 62111:e2b768b0035d
    12 * Former "xsymbols" syntax with Isabelle symbols is used by default,
    12 * Former "xsymbols" syntax with Isabelle symbols is used by default,
    13 without any special print mode. Important ASCII replacement syntax
    13 without any special print mode. Important ASCII replacement syntax
    14 remains available under print mode "ASCII", but less important syntax
    14 remains available under print mode "ASCII", but less important syntax
    15 has been removed (see below).
    15 has been removed (see below).
    16 
    16 
    17 * Support for more arrow symbols, with rendering in LaTeX and
    17 * Support for more arrow symbols, with rendering in LaTeX and Isabelle
    18 Isabelle fonts: \<Lleftarrow> \<Rrightarrow> \<longlongleftarrow> \<longlongrightarrow> \<longlonglongleftarrow> \<longlonglongrightarrow>
    18 fonts: \<Lleftarrow> \<Rrightarrow> \<longlongleftarrow> \<longlongrightarrow> \<longlonglongleftarrow> \<longlonglongrightarrow>.
       
    19 
       
    20 * Special notation \<struct> for the first implicit 'structure' in the
       
    21 context has been discontinued. Rare INCOMPATIBILITY, use explicit
       
    22 structure name instead, notably in indexed notation with block-subscript
       
    23 (e.g. \<odot>\<^bsub>A\<^esub>).
       
    24 
       
    25 * The glyph for \<diamond> in the IsabelleText font now corresponds better to its
       
    26 counterpart \<box> as quantifier-like symbol. A small diamond is available as
       
    27 \<diamondop>; the old symbol \<struct> loses this rendering and any special
       
    28 meaning.
    19 
    29 
    20 * Syntax for formal comments "-- text" now also supports the symbolic
    30 * Syntax for formal comments "-- text" now also supports the symbolic
    21 form "\<comment> text". Command-line tool "isabelle update_cartouches -c" helps
    31 form "\<comment> text". Command-line tool "isabelle update_cartouches -c" helps
    22 to update old sources.
    32 to update old sources.
    23 
    33