NEWS
changeset 62031 8b50da907602
parent 62027 b270f2b9bef8
child 62034 91fcb3bc28bb
equal deleted inserted replaced
62030:2b46a93e829c 62031:8b50da907602
     2 =================================================
     2 =================================================
     3 
     3 
     4 (Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.)
     4 (Note: Isabelle/jEdit shows a tree-view of this file in Sidekick.)
     5 
     5 
     6 
     6 
     7 New in Isabelle2016 (February 2015)
     7 New in Isabelle2016 (February 2016)
     8 -----------------------------------
     8 -----------------------------------
     9 
     9 
    10 *** General ***
    10 *** General ***
    11 
    11 
    12 * Former "xsymbols" syntax with Isabelle symbols is used by default,
    12 * Former "xsymbols" syntax with Isabelle symbols is used by default,