changeset 1707:0551a2729f40

<oerjan> fmt wisdom/d-modules >wisdom/d-module; rm wisdom/d-modules
author HackBot
date Thu, 24 Jan 2013 20:07:47 +0000
parents 81a09763e058
children c3785f7e7f4d
files wisdom/d-module wisdom/d-modules
diffstat 2 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- /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.
--- 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.