tuned whitespace;
authorwenzelm
Thu Nov 08 16:21:46 2018 +0100 (2 months ago)
changeset 692691bee990d443c
parent 69268 c1a27fce2076
child 69270 15463f546ee0
tuned whitespace;
NEWS
     1.1 --- a/NEWS	Thu Nov 08 16:18:12 2018 +0100
     1.2 +++ b/NEWS	Thu Nov 08 16:21:46 2018 +0100
     1.3 @@ -146,10 +146,10 @@
     1.4  After setup, the following Isabelle settings are automatically
     1.5  redirected (overriding existing user settings):
     1.6  
     1.7 - ISABELLE_GHC
     1.8 -
     1.9 - ISABELLE_OCAML
    1.10 - ISABELLE_OCAMLC
    1.11 +  ISABELLE_GHC
    1.12 +
    1.13 +  ISABELLE_OCAML
    1.14 +  ISABELLE_OCAMLC
    1.15  
    1.16  The old meaning of these settings as locally installed executables may
    1.17  be recovered by purging the directories ISABELLE_STACK_ROOT /