From 176e42711653e3bbbdc3a517dfd8fa9ba39402ab Mon Sep 17 00:00:00 2001
From: Simon Forman <sforman@hushmail.com>
Date: Tue, 28 Apr 2020 15:28:58 -0700
Subject: [PATCH] Indent with tabs.

---
 docs/notebook_preamble.py | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/docs/notebook_preamble.py b/docs/notebook_preamble.py
index a613ad5..bd1e220 100644
--- a/docs/notebook_preamble.py
+++ b/docs/notebook_preamble.py
@@ -29,20 +29,20 @@ S = ()
 
 
 def J(text, stack=S, dictionary=D):
-    print stack_to_string(run(text, stack, dictionary)[0])
+	print stack_to_string(run(text, stack, dictionary)[0])
 
 
 def V(text, stack=S, dictionary=D):
-    tp = TracePrinter()
-    try:
-        run(text, stack, dictionary, tp.viewer)
-    except:
-        exc = format_exc()
-        tp.print_()
-        print '-' * 73
-        print exc
-    else:
-        tp.print_()
+	tp = TracePrinter()
+	try:
+		run(text, stack, dictionary, tp.viewer)
+	except:
+		exc = format_exc()
+		tp.print_()
+		print '-' * 73
+		print exc
+	else:
+		tp.print_()
 
 
 define = lambda text: DefinitionWrapper.add_def(text, D)
-- 
2.11.0