# HG changeset patch
# User HackBot
# Date 1487269084 0
# Node ID 83d200878f0ede7681ab469b87c70d1b87212d54
# Parent  86e69061538593fd46f4d83d480f45a827be9761
<oerjan> revert

diff -r 86e690615385 -r 83d200878f0e wisdom/tanebventions: math.orig
--- a/wisdom/tanebventions: math.orig	Thu Feb 16 18:17:25 2017 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, string diagrams, the reals, Lambek's lemma, Curry's paradox, the long line, locales, and histograms.
diff -r 86e690615385 -r 83d200878f0e wisdom/tanebventions: math.rej
--- a/wisdom/tanebventions: math.rej	Thu Feb 16 18:17:25 2017 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,5 +0,0 @@
---- wisdom/tanebventions: math	Wed Nov 02 23:11:11 2016 +0000
-+++ wisdom/tanebventions: math	Wed Nov 02 15:00:12 2016 +0000
-@@ -1 +1 @@
--Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, string diagrams, the reals, Lambek's lemma, pointless topology, the long line, locales, and histograms.
-+Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, string diagrams, the reals, Lambek's lemma, pointless topology, locales, and histograms.