diff -r c1a27fce2076 -r 1bee990d443c NEWS
--- a/NEWS	Thu Nov 08 16:18:12 2018 +0100
+++ b/NEWS	Thu Nov 08 16:21:46 2018 +0100
@@ -146,10 +146,10 @@
 After setup, the following Isabelle settings are automatically
 redirected (overriding existing user settings):
 
- ISABELLE_GHC
-
- ISABELLE_OCAML
- ISABELLE_OCAMLC
+  ISABELLE_GHC
+
+  ISABELLE_OCAML
+  ISABELLE_OCAMLC
 
 The old meaning of these settings as locally installed executables may
 be recovered by purging the directories ISABELLE_STACK_ROOT /