--- a/NEWS Fri Apr 16 10:15:00 2010 +0200
+++ b/NEWS Fri Apr 16 10:52:10 2010 +0200
@@ -298,6 +298,10 @@
* Antiquotation @{syntax_const NAME} ensures that NAME refers to a raw
syntax constant (cf. 'syntax' command).
+* Antiquotation @{make_string} inlines a function to print arbitrary
+values similar to the ML toplevel. The result is compiler dependent
+and may fall back on "?" in certain situations.
+
* Renamed old-style Drule.standard to Drule.export_without_context, to
emphasize that this is in no way a standard operation.
INCOMPATIBILITY.