Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ANNOUNCE
changeset 74680 b80a8d7db99d
parent 74651 81cc8f2ea9e7
child 74913 c2a2be496f35
equal deleted inserted replaced
74679:0efa6a8b6e20 74680:b80a8d7db99d 
     3 
     3 
     4 Isabelle2021-1 is now available.
 
     4 Isabelle2021-1 is now available.
 
     5 
     5 
     6 This version introduces many changes over Isabelle2020-1: see the NEWS
 
     6 This version introduces many changes over Isabelle2020-1: see the NEWS
 
     7 file for further details. Here are various details:
 
     7 file for further details. Here are various details:
 
       
     8 
       
     9 * HTML presentation now includes links to formal entities.
 
     8 
    10 
     9 * Isar: local theory support for 'syntax' and 'no_syntax' commands.
 
    11 * Isar: local theory support for 'syntax' and 'no_syntax' commands.
 
    10 
    12 
    11 * Isabelle/jEdit: distribution of original jEdit editor with Isabelle/Scala
 
    13 * Isabelle/jEdit: distribution of original jEdit editor with Isabelle/Scala
 
    12 modules and plugins.
 
    14 modules and plugins.
isabelle