NEWS
changeset 51689 43a3465805dd
parent 51682 bdaa1582dc8b
parent 51686 532e0ac5a66d
child 51703 f2e92fc0c8aa
     1.1 --- a/NEWS	Wed Apr 10 18:51:21 2013 +0200
     1.2 +++ b/NEWS	Wed Apr 10 19:14:47 2013 +0200
     1.3 @@ -126,6 +126,9 @@
     1.4      Skip_Proof.prove  ~>  Goal.prove_sorry
     1.5      Skip_Proof.prove_global  ~>  Goal.prove_sorry_global
     1.6  
     1.7 +* Antiquotation @{theory_context A} is similar to @{theory A}, but
     1.8 +presents the result as initial Proof.context.
     1.9 +
    1.10  
    1.11  *** System ***
    1.12