NEWS
changeset 32092 6a5995438266
parent 32079 5dc52b199815
child 32131 7913823f14e3
     1.1 --- a/NEWS	Tue Jul 21 01:03:18 2009 +0200
     1.2 +++ b/NEWS	Tue Jul 21 01:05:10 2009 +0200
     1.3 @@ -120,6 +120,11 @@
     1.4  cominators for "args".  INCOMPATIBILITY, need to use simplified
     1.5  Attrib/Method.setup introduced in Isabelle2009.
     1.6  
     1.7 +* Display.pretty_thm now requires a proper context (cf. former
     1.8 +ProofContext.pretty_thm).  May fall back on Display.pretty_thm_global
     1.9 +or even Display.pretty_thm_without_context as last resort.
    1.10 +INCOMPATIBILITY.
    1.11 +
    1.12  
    1.13  *** System ***
    1.14