NEWS
changeset 48992 0518bf89c777
parent 48977 ae12b92c145a
child 49000 0cebcbeac4c7
     1.1 --- a/NEWS	Wed Aug 29 11:31:07 2012 +0200
     1.2 +++ b/NEWS	Wed Aug 29 11:48:45 2012 +0200
     1.3 @@ -88,6 +88,13 @@
     1.4  document/IsaMakefile.  Minor INCOMPATIBILITY.
     1.5  
     1.6  
     1.7 +*** ML ***
     1.8 +
     1.9 +* Renamed Position.str_of to Position.here to emphasize that this is a
    1.10 +formal device to inline positions into message text, but not
    1.11 +necessarily printing visible text.
    1.12 +
    1.13 +
    1.14  *** System ***
    1.15  
    1.16  * The "isabelle logo" tool allows to specify EPS or PDF format; the