NEWS
changeset 32131 7913823f14e3
parent 32130 2a0645733185
parent 32092 6a5995438266
child 32136 672dfd59ff03
     1.1 --- a/NEWS	Wed Jul 22 10:49:26 2009 +0200
     1.2 +++ b/NEWS	Wed Jul 22 11:23:09 2009 +0200
     1.3 @@ -123,6 +123,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