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