From 1c8146113d6b9a7c31d424b0696d61a52abf4fde Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 5 Jul 2016 18:17:30 +0200
Subject: [PATCH] Fix some spaces/tabs/0 width spaces in the proof mode docs.

---
 ProofMode.md | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/ProofMode.md b/ProofMode.md
index 5a132163c..d86362ea8 100644
--- a/ProofMode.md
+++ b/ProofMode.md
@@ -137,13 +137,13 @@ You can write
 
 which results in:
 
-				x : nat
-				H : x = 0
-				______________________________________(1/1)
-				​​"HQ" : Q
-				​"HR" : R
-				--------------------------------------â–¡
-				R ★ Q ∧ x = 1
+        x : nat
+        H : x = 0
+        ______________________________________(1/1)
+				"HQ" : Q
+        "HR" : R
+        --------------------------------------â–¡
+        R ★ Q ∧ x = 1
 
 
 Specialization patterns
-- 
GitLab