NEWS

--- a/NEWS	Thu Nov 02 11:26:58 2017 +0100
+++ b/NEWS	Thu Nov 02 11:47:32 2017 +0100
@@ -44,7 +44,9 @@
   - option -S sets up the development environment to edit the
     specified session: it abbreviates -B -F -R -l
 
-  Example: isabelle jedit -A HOL -S Formal_SSA -d '$AFP'
+  Examples:
+    isabelle jedit -d '$AFP' -S Formal_SSA -A HOL
+    isabelle jedit -d '$AFP' -S Formal_SSA -A HOL-Analysis
 
 
 *** HOL ***