NEWS
changeset 61529 82fc5a6231a2
parent 61520 8f85bb443d33
child 61537 f6bd97a587b7
equal deleted inserted replaced
61528:053f7083b3eb 61529:82fc5a6231a2
    63 
    63 
    64 * The command-line tool "isabelle jedit" and the isabelle.Main
    64 * The command-line tool "isabelle jedit" and the isabelle.Main
    65 application wrapper threat the default $USER_HOME/Scratch.thy more
    65 application wrapper threat the default $USER_HOME/Scratch.thy more
    66 uniformly, and allow the dummy file argument ":" to open an empty buffer
    66 uniformly, and allow the dummy file argument ":" to open an empty buffer
    67 instead.
    67 instead.
       
    68 
       
    69 * The default look-and-feel for Linux is the traditional "Metal", which
       
    70 works better with GUI scaling for very high-resolution displays (e.g.
       
    71 4K). Moreover, it is generally more robust than "Nimbus".
    68 
    72 
    69 
    73 
    70 *** Document preparation ***
    74 *** Document preparation ***
    71 
    75 
    72 * There is a new short form for antiquotations with a single argument
    76 * There is a new short form for antiquotations with a single argument