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.
NEWS
changeset 62114 a7cf464933f7
parent 62111 e2b768b0035d
child 62118 e60f1a925b4d
equal deleted inserted replaced
62113:16de2a9b5b3d 62114:a7cf464933f7 
     1 Isabelle NEWS -- history of user-relevant changes
 
     1 Isabelle NEWS -- history of user-relevant changes
 
     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 the NEWS file in Sidekick.)
 
     5 
     5 
     6 
     6 
     7 New in Isabelle2016 (February 2016)
 
     7 New in Isabelle2016 (February 2016)
 
     8 -----------------------------------
 
     8 -----------------------------------
 
     9 
     9
isabelle