NEWS

--- a/NEWS	Mon Mar 11 13:28:46 2013 +0100
+++ b/NEWS	Mon Mar 11 14:25:14 2013 +0100
@@ -61,6 +61,14 @@
       isar_shrink ~> isar_compress
 
 
+*** System ***
+
+* Discontinued "isabelle usedir" option -P (remote path).  Note that
+usedir is legacy and superseded by "isabelle build" since
+Isabelle2013.
+
+
+
 New in Isabelle2013 (February 2013)
 -----------------------------------