# HG changeset patch
# User wenzelm
# Date 1169402975 -3600
# Node ID df787d5823236d31b3a32dbc838f40ecfa2bf010
# Parent  511f7fb8469ed831411746700ef1c7d0c4484b14
* ML in Isar: improved error reporting;

diff -r 511f7fb8469e -r df787d582323 NEWS
--- a/NEWS	Sun Jan 21 17:13:30 2007 +0100
+++ b/NEWS	Sun Jan 21 19:09:35 2007 +0100
@@ -771,6 +771,9 @@
 
 The same works for sources being ``used'' within an Isar context.
 
+* ML in Isar: improved error reporting; extra verbosity with
+Toplevel.debug enabled.
+
 * Pure/library:
 
   val burrow: ('a list -> 'b list) -> 'a list list -> 'b list list