| changeset 62662 | 291cc01f56f5 |
| parent 62645 | a2351f82bc48 |
| child 62670 | 006c057814f1 |
--- a/NEWS Thu Mar 17 13:44:18 2016 +0100 +++ b/NEWS Thu Mar 17 16:56:44 2016 +0100 @@ -216,6 +216,9 @@ *** ML *** +* Antiquotation @{make_string} is available during Pure bootstrap -- +with approximative output quality. + * Option ML_exception_debugger controls detailed exception trace via the Poly/ML debugger. Relevant ML modules need to be compiled beforehand with ML_file_debug, or with ML_file and option ML_debugger enabled. Note