| changeset 62851 | 07eea2843b82 |
| parent 62842 | db9f95ca2a8f |
| child 62861 | cfd2749e1352 |
--- a/NEWS Mon Apr 04 19:48:54 2016 +0200 +++ b/NEWS Mon Apr 04 20:07:08 2016 +0200 @@ -230,6 +230,10 @@ *** ML *** +* Low-level ML system structures (like PolyML and RunCall) are no longer +exposed to Isabelle/ML user-space. The system option ML_system_unsafe +allows to override this for special test situations. + * Antiquotation @{make_string} is available during Pure bootstrap -- with approximative output quality.