| changeset 62861 | cfd2749e1352 |
| parent 62851 | 07eea2843b82 |
| child 62875 | 5a0c06491974 |
--- a/NEWS Mon Apr 04 23:08:48 2016 +0200 +++ b/NEWS Mon Apr 04 23:13:41 2016 +0200 @@ -230,6 +230,10 @@ *** ML *** +* The ML function "ML" provides easy access to run-time compilation. +This is particularly useful for conditional compilation, without +requiring separate files. + * 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.