equal
deleted
inserted
replaced
227 |
227 |
228 * Session HOL-NSA has been renamed to HOL-Nonstandard_Analysis. |
228 * Session HOL-NSA has been renamed to HOL-Nonstandard_Analysis. |
229 |
229 |
230 |
230 |
231 *** ML *** |
231 *** ML *** |
|
232 |
|
233 * Low-level ML system structures (like PolyML and RunCall) are no longer |
|
234 exposed to Isabelle/ML user-space. The system option ML_system_unsafe |
|
235 allows to override this for special test situations. |
232 |
236 |
233 * Antiquotation @{make_string} is available during Pure bootstrap -- |
237 * Antiquotation @{make_string} is available during Pure bootstrap -- |
234 with approximative output quality. |
238 with approximative output quality. |
235 |
239 |
236 * Option ML_exception_debugger controls detailed exception trace via the |
240 * Option ML_exception_debugger controls detailed exception trace via the |