NEWS
changeset 53271 0460d6962ced
parent 53251 7facc08da806
child 53273 473ea1ed7503
equal deleted inserted replaced
53259:d6d813d7e702 53271:0460d6962ced
    92 
    92 
    93 * More reactive and less intrusive completion.  Plain words need to be
    93 * More reactive and less intrusive completion.  Plain words need to be
    94 at least 3 characters long to be completed (was 2 before).  Symbols
    94 at least 3 characters long to be completed (was 2 before).  Symbols
    95 are only completed in backslash forms, e.g. \forall or \<forall> that
    95 are only completed in backslash forms, e.g. \forall or \<forall> that
    96 both produce the Isabelle symbol \<forall> in its Unicode rendering.
    96 both produce the Isabelle symbol \<forall> in its Unicode rendering.
       
    97 
       
    98 * Improved support for Linux look-and-feel "GTK+", see also "Utilities
       
    99 / Global Options / Appearance".
    97 
   100 
    98 
   101 
    99 *** Pure ***
   102 *** Pure ***
   100 
   103 
   101 * Type theory is now immutable, without any special treatment of
   104 * Type theory is now immutable, without any special treatment of