NEWS
changeset 66990 b23adab22e67
parent 66988 7f8c1dd7576a
child 66993 2c2a346cfe70
     1.1 --- a/NEWS	Thu Nov 02 11:26:58 2017 +0100
     1.2 +++ b/NEWS	Thu Nov 02 11:47:32 2017 +0100
     1.3 @@ -44,7 +44,9 @@
     1.4    - option -S sets up the development environment to edit the
     1.5      specified session: it abbreviates -B -F -R -l
     1.6  
     1.7 -  Example: isabelle jedit -A HOL -S Formal_SSA -d '$AFP'
     1.8 +  Examples:
     1.9 +    isabelle jedit -d '$AFP' -S Formal_SSA -A HOL
    1.10 +    isabelle jedit -d '$AFP' -S Formal_SSA -A HOL-Analysis
    1.11  
    1.12  
    1.13  *** HOL ***