# HG changeset patch
# User wenzelm
# Date 1559566047 -7200
# Node ID 53d21039518a9f8411356d6fa2d487e5ab768fe2
# Parent  61621dc439d4a52c87ccb4a7d85192aa5632343f
tuned whitespace;

diff -r 61621dc439d4 -r 53d21039518a src/Pure/Isar/proof_context.ML
--- a/src/Pure/Isar/proof_context.ML	Mon Jun 03 14:26:21 2019 +0200
+++ b/src/Pure/Isar/proof_context.ML	Mon Jun 03 14:47:27 2019 +0200
@@ -224,6 +224,7 @@
 val mode_abbrev    = make_mode (false, false, true);
 
 
+
 (** Isar proof context information **)
 
 type cases = Rule_Cases.T Name_Space.table;