equal
deleted
inserted
replaced
117 * Renamed NamedThmsFun to Named_Thms. INCOMPATIBILITY. |
117 * Renamed NamedThmsFun to Named_Thms. INCOMPATIBILITY. |
118 |
118 |
119 * Eliminated old Attrib.add_attributes, Method.add_methods and related |
119 * Eliminated old Attrib.add_attributes, Method.add_methods and related |
120 cominators for "args". INCOMPATIBILITY, need to use simplified |
120 cominators for "args". INCOMPATIBILITY, need to use simplified |
121 Attrib/Method.setup introduced in Isabelle2009. |
121 Attrib/Method.setup introduced in Isabelle2009. |
|
122 |
|
123 * Display.pretty_thm now requires a proper context (cf. former |
|
124 ProofContext.pretty_thm). May fall back on Display.pretty_thm_global |
|
125 or even Display.pretty_thm_without_context as last resort. |
|
126 INCOMPATIBILITY. |
122 |
127 |
123 |
128 |
124 *** System *** |
129 *** System *** |
125 |
130 |
126 * Discontinued support for Poly/ML 4.x versions. |
131 * Discontinued support for Poly/ML 4.x versions. |