NEWS
changeset 62440 31fa592761da
parent 62430 9527ff088c15
child 62451 040b94ffbdde
equal deleted inserted replaced
62439:2c01beb70cfb 62440:31fa592761da
     4 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
     4 (Note: Isabelle/jEdit shows a tree-view of the NEWS file in Sidekick.)
     5 
     5 
     6 
     6 
     7 New in this Isabelle version
     7 New in this Isabelle version
     8 ----------------------------
     8 ----------------------------
       
     9 
       
    10 *** General ***
       
    11 
       
    12 * New symbol \<circle>, e.g. for temporal operator.
       
    13 
     9 
    14 
    10 *** Isar ***
    15 *** Isar ***
    11 
    16 
    12 * Command '\<proof>' is an alias for 'sorry', with different
    17 * Command '\<proof>' is an alias for 'sorry', with different
    13 typesetting. E.g. to produce proof holes in examples and documentation.
    18 typesetting. E.g. to produce proof holes in examples and documentation.