NEWS

--- a/NEWS	Wed Apr 10 18:51:21 2013 +0200
+++ b/NEWS	Wed Apr 10 19:14:47 2013 +0200
@@ -126,6 +126,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 ***