NEWS
changeset 61922 a1b697a2f3a8
parent 61907 f0c894ab18c9
child 61941 31f2105521ee
     1.1 --- a/NEWS	Wed Dec 23 17:24:12 2015 +0100
     1.2 +++ b/NEWS	Wed Dec 23 17:35:07 2015 +0100
     1.3 @@ -628,6 +628,10 @@
     1.4  
     1.5  *** ML ***
     1.6  
     1.7 +* Pretty printing of Poly/ML compiler output in Isabelle has been
     1.8 +improved: proper treatment of break offsets and blocks with consistent
     1.9 +breaks.
    1.10 +
    1.11  * Isar proof methods are based on a slightly more general type
    1.12  context_tactic, which allows to change the proof context dynamically
    1.13  (e.g. to update cases) and indicate explicit Seq.Error results. Former