# HG changeset patch
# User HackBot
# Date 1359058067 0
# Node ID 0551a2729f40cb21f8c3ffc317d1d7cc75822b1e
# Parent  81a09763e058ddd39e462aff771eb945377adc9f
<oerjan> fmt wisdom/d-modules >wisdom/d-module; rm wisdom/d-modules

diff -r 81a09763e058 -r 0551a2729f40 wisdom/d-module
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/d-module	Thu Jan 24 20:07:47 2013 +0000
@@ -0,0 +1,2 @@
+D-modules are just modules over the ring of differential operators.
+ Taneb invented them.
diff -r 81a09763e058 -r 0551a2729f40 wisdom/d-modules
--- a/wisdom/d-modules	Thu Jan 24 13:18:41 2013 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-D-modules are just modules over the ring of differential operators.
- Taneb invented them.