| changeset 56399 | 386e4cb7ad68 |
| parent 56381 | 0556204bc230 |
| child 56413 | 2d4d9a5f68ff |
--- a/NEWS Fri Apr 04 10:41:53 2014 +0200 +++ b/NEWS Fri Apr 04 12:07:48 2014 +0200 @@ -642,6 +642,10 @@ well-defined master directory, so an absolute symbolic path specification is usually required, e.g. "~~/src/HOL". +* ML antiquotation @{print} inlines a function to print an arbitrary +ML value, which is occasionally useful for diagnostic or demonstration +purposes. + *** System ***