changeset 8511:4e865b010721

<oerjan> ` mv wisdom/tanebvention{,s}": math"
author HackBot
date Fri, 17 Jun 2016 08:52:14 +0000
parents e3210d754d6f
children 5d8a81777365
files wisdom/tanebvention: math wisdom/tanebventions: math
diffstat 2 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/wisdom/tanebvention: math	Fri Jun 17 08:51:36 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, the reals, Lambek's lemma, pointless topology, and histograms.
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/tanebventions: math	Fri Jun 17 08:52:14 2016 +0000
@@ -0,0 +1,1 @@
+Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, the reals, Lambek's lemma, pointless topology, and histograms.