# HG changeset patch
# User HackBot
# Date 1478131865 0
# Node ID 17ca4f5e4577a81dacdcbb5546538b5e4c02af45
# Parent  3b572502ce53e9318b5b0f719aa6e6fce62b1b37
<Phantom_Hoover> ` mv "wisdom/tanebventions: math" "wisdom/tanebventions: maths"

diff -r 3b572502ce53 -r 17ca4f5e4577 wisdom/tanebventions: math
--- a/wisdom/tanebventions: math	Wed Nov 02 23:36:25 2016 +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, pointless topology, the long line, locales, and histograms.
diff -r 3b572502ce53 -r 17ca4f5e4577 wisdom/tanebventions: maths
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/tanebventions: maths	Thu Nov 03 00:11:05 2016 +0000
@@ -0,0 +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.