NEWS

--- a/NEWS	Wed Mar 27 14:08:03 2013 +0100
+++ b/NEWS	Wed Mar 27 14:19:18 2013 +0100
@@ -106,6 +106,14 @@
 rings.  INCOMPATIBILITY.
 
 
+*** ML ***
+
+* More uniform naming of goal functions for skipped proofs:
+
+    Skip_Proof.prove  ~>  Goal.prove_sorry
+    Skip_Proof.prove_global  ~>  Goal.prove_sorry_global
+
+
 *** System ***
 
 * Discontinued "isabelle usedir" option -P (remote path) and -r (reset