# HG changeset patch
# User wenzelm
# Date 1169396010 -3600
# Node ID 511f7fb8469ed831411746700ef1c7d0c4484b14
# Parent  b01e3e21f71010d51e6835115f1795edb48ff8ef
tuned;

diff -r b01e3e21f710 -r 511f7fb8469e NEWS
--- a/NEWS	Sun Jan 21 16:46:40 2007 +0100
+++ b/NEWS	Sun Jan 21 17:13:30 2007 +0100
@@ -769,6 +769,8 @@
 ML {* @{claset} *}
 ML {* @{clasimpset} *}
 
+The same works for sources being ``used'' within an Isar context.
+
 * Pure/library:
 
   val burrow: ('a list -> 'b list) -> 'a list list -> 'b list list