NEWS
changeset 22152 df787d582323
parent 22151 511f7fb8469e
child 22218 30a8890d2967
     1.1 --- a/NEWS	Sun Jan 21 17:13:30 2007 +0100
     1.2 +++ b/NEWS	Sun Jan 21 19:09:35 2007 +0100
     1.3 @@ -771,6 +771,9 @@
     1.4  
     1.5  The same works for sources being ``used'' within an Isar context.
     1.6  
     1.7 +* ML in Isar: improved error reporting; extra verbosity with
     1.8 +Toplevel.debug enabled.
     1.9 +
    1.10  * Pure/library:
    1.11  
    1.12    val burrow: ('a list -> 'b list) -> 'a list list -> 'b list list