NEWS

--- a/NEWS	Fri May 17 17:45:51 2013 +0200
+++ b/NEWS	Fri May 17 18:19:42 2013 +0200
@@ -232,9 +232,8 @@
 
 *** System ***
 
-* Discontinued "isabelle usedir" option -P (remote path) and -r (reset
-session path).  Note that usedir is legacy and superseded by "isabelle
-build" since Isabelle2013.
+* Discontinued obsolete isabelle usedir, mkdir, make -- superseded by
+"isabelle build" in Isabelle2013.  INCOMPATIBILITY.