NEWS

--- a/NEWS	Fri May 17 18:23:39 2013 +0200
+++ b/NEWS	Fri May 17 18:39:49 2013 +0200
@@ -235,6 +235,9 @@
 * Discontinued obsolete isabelle usedir, mkdir, make -- superseded by
 "isabelle build" in Isabelle2013.  INCOMPATIBILITY.
 
+* Discontinued obsolete isabelle-process options -f and -u (former
+administrative aliases of option -e).  Minor INCOMPATIBILITY.
+
 * Isabelle settings variable ISABELLE_BUILD_JAVA_OPTIONS allows to
 specify global resources of the JVM process run by isabelle build.