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 82053 e273a9846379
parent 82052 0295cacff486
child 82056 361fbb3e21c8
equal deleted inserted replaced
82052:0295cacff486 82053:e273a9846379 
   197 uniformity (arm64-linux lacks a native library).
 
   197 uniformity (arm64-linux lacks a native library).
 
   198 
   198 
   199 * Thanks to the update of FlatLaf, Linux with Wayland window manager
 
   199 * Thanks to the update of FlatLaf, Linux with Wayland window manager
 
   200 (e.g. standard Ubuntu) now renders submenus like "File / Recent Files"
 
   200 (e.g. standard Ubuntu) now renders submenus like "File / Recent Files"
 
   201 in Isabelle/jEdit properly. Before that, the menu could disappear
 
   201 in Isabelle/jEdit properly. Before that, the menu could disappear
 
   202 sponteneously.
 
   202 spontaneously.
 
   203 
   203 
   204 
   204 
   205 *** Isabelle/VSCode Prover IDE ***
 
   205 *** Isabelle/VSCode Prover IDE ***
 
   206 
   206 
   207 * General improvements: Persistent decorations for PIDE markup, correct
 
   207 * General improvements: Persistent decorations for PIDE markup, correct
isabelle