NEWS
changeset 49699 1301ed115729
parent 49647 21ae8500d261
child 49738 1e1611fd32df
     1.1 --- a/NEWS	Thu Oct 04 11:45:56 2012 +0200
     1.2 +++ b/NEWS	Thu Oct 04 13:56:32 2012 +0200
     1.3 @@ -16,6 +16,11 @@
     1.4      . more plugin options and preferences, based on Isabelle/Scala;
     1.5      . uniform Java 7 platform on Linux, Mac OS X, Windows;
     1.6  
     1.7 +* Configuration option show_markup controls direct inlining of markup
     1.8 +into the printed representation of formal entities --- notably type
     1.9 +and sort constraints.  This enables Prover IDE users to retrieve that
    1.10 +information via tooltips in the output window, for example.
    1.11 +
    1.12  * Command 'ML_file' evaluates ML text from a file directly within the
    1.13  theory, without any predeclaration via 'uses' in the theory header.
    1.14