NEWS

--- a/NEWS	Wed Apr 10 15:30:19 2013 +0200
+++ b/NEWS	Wed Apr 10 17:02:47 2013 +0200
@@ -119,6 +119,9 @@
     Skip_Proof.prove  ~>  Goal.prove_sorry
     Skip_Proof.prove_global  ~>  Goal.prove_sorry_global
 
+* Antiquotation @{theory_context A} is similar to @{theory A}, but
+presents the result as initial Proof.context.
+
 
 *** System ***