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