# HG changeset patch
# User wenzelm
# Date 1541690506 -3600
# Node ID 1bee990d443c74d09ca769fdeac277a3812e099e
# Parent  c1a27fce20767e620fca4cab53900240220aa183
tuned whitespace;

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 /