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 51082 55b82b1417d1
parent 51063 3544f5eb1ee6
child 51088 0a55ac5bdd92
equal deleted inserted replaced
51081:70a4c11cd79e 51082:55b82b1417d1 
    91 schemes.
 
    91 schemes.
 
    92 
    92 
    93 * Dockable window "Symbols" provides some editing support for Isabelle
 
    93 * Dockable window "Symbols" provides some editing support for Isabelle
 
    94 symbols.
 
    94 symbols.
 
    95 
    95 
    96 * Dockable window "Monitor" shows ML runtime statistics.
 
    96 * Dockable window "Monitor" shows ML runtime statistics.  Note that
 
       
    97 continuous display of the chart slows down the system.
 
    97 
    98 
    98 * Improved editing support for control styles: subscript, superscript,
 
    99 * Improved editing support for control styles: subscript, superscript,
 
    99 bold, reset of style -- operating on single symbols or text
 
   100 bold, reset of style -- operating on single symbols or text
 
   100 selections.  Cf. keyboard shortcuts C+e DOWN/UP/RIGHT/LEFT.
 
   101 selections.  Cf. keyboard shortcuts C+e DOWN/UP/RIGHT/LEFT.
 
   101 
   102
isabelle