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