| changeset 62670 | 006c057814f1 |
| parent 62652 | 7248d106c607 |
| parent 62662 | 291cc01f56f5 |
| child 62671 | a9ee1f240b81 |
--- a/NEWS Fri Mar 18 12:54:20 2016 +0100 +++ b/NEWS Fri Mar 18 20:29:50 2016 +0100 @@ -220,6 +220,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