equal
deleted
inserted
replaced
247 INCOMPATIBILITY. |
247 INCOMPATIBILITY. |
248 |
248 |
249 * Discontinued Display.pretty_ctyp/cterm etc. INCOMPATIBILITY, use |
249 * Discontinued Display.pretty_ctyp/cterm etc. INCOMPATIBILITY, use |
250 Syntax.pretty_typ/term directly, preferably with proper context |
250 Syntax.pretty_typ/term directly, preferably with proper context |
251 instead of global theory. |
251 instead of global theory. |
|
252 |
|
253 * Operations of structure Skip_Proof (formerly SkipProof) no longer |
|
254 require quick_and_dirty mode, which avoids critical setmp. |
252 |
255 |
253 |
256 |
254 *** System *** |
257 *** System *** |
255 |
258 |
256 * Support for additional "Isabelle components" via etc/components, see |
259 * Support for additional "Isabelle components" via etc/components, see |