NEWS
changeset 68545 7922992c99ea
parent 68543 c87e1adb91af
child 68547 549a4992222f
     1.1 --- a/NEWS	Fri Jun 29 19:53:15 2018 +0200
     1.2 +++ b/NEWS	Fri Jun 29 20:11:17 2018 +0200
     1.3 @@ -128,14 +128,14 @@
     1.4  plain-text document draft. Both are available via the menu "Plugins /
     1.5  Isabelle".
     1.6  
     1.7 -* Bibtex database files (.bib) are semantically checked.
     1.8 -
     1.9  * When loading text files, the Isabelle symbols encoding UTF-8-Isabelle
    1.10  is only used if there is no conflict with existing Unicode sequences in
    1.11  the file. Otherwise, the fallback encoding is plain UTF-8 and Isabelle
    1.12  symbols remain in literal \<symbol> form. This avoids accidental loss of
    1.13  Unicode content when saving the file.
    1.14  
    1.15 +* Bibtex database files (.bib) are semantically checked.
    1.16 +
    1.17  * Update to jedit-5.5.0, the latest release.
    1.18  
    1.19  
    1.20 @@ -403,10 +403,9 @@
    1.21  Riemann mapping theorem, the Vitali covering theorem,
    1.22  change-of-variables results for integration and measures.
    1.23  
    1.24 -* Session HOL-Types_To_Sets: more tool support
    1.25 -(unoverload_type combines internalize_sorts and unoverload) and larger
    1.26 -experimental application (type based linear algebra transferred to linear
    1.27 -algebra on subspaces).
    1.28 +* Session HOL-Types_To_Sets: more tool support (unoverload_type combines
    1.29 +internalize_sorts and unoverload) and larger experimental application
    1.30 +(type based linear algebra transferred to linear algebra on subspaces).
    1.31  
    1.32  
    1.33  *** ML ***