NEWS
changeset 68690 354c04092cd0
parent 68681 14167c321d22
child 68706 f3763989d589
child 68734 c14a2cc9b5ef
     1.1 --- a/NEWS	Wed Jul 25 22:33:04 2018 +0200
     1.2 +++ b/NEWS	Thu Jul 26 15:19:56 2018 +0200
     1.3 @@ -148,6 +148,13 @@
     1.4  * HTML preview of theories and other file-formats similar to
     1.5  Isabelle/jEdit.
     1.6  
     1.7 +* Command-line tool "isabelle vscode_server" accepts the same options
     1.8 +-A, -R, -S, -i for session selection as "isabelle jedit". This is
     1.9 +relevant for isabelle.args configuration settings in VSCode. The former
    1.10 +option -A (explore all known session files) has been discontinued: it is
    1.11 +enabled by default, unless option -S is used to focus on a particular
    1.12 +spot in the session structure. INCOMPATIBILITY.
    1.13 +
    1.14  
    1.15  *** Document preparation ***
    1.16