Thu, 24 Jan 2013 21:03:53 +0000 |
HackBot |
<Taneb> learn D-Modules are simply modules in the ring of differential operators. Taneb invented them.
|
Thu, 24 Jan 2013 21:01:55 +0000 |
HackBot |
<Gregor> hg diff -r1703:1702 | patch -p1
|
Thu, 24 Jan 2013 21:01:36 +0000 |
HackBot |
<Gregor> revert 1713
|
Thu, 24 Jan 2013 20:55:38 +0000 |
HackBot |
<oerjan> cd wisdom; mv ngevd ..; sed -i \'s/dahl/dal/g\' * ; mv ../ngevd .
|
Thu, 24 Jan 2013 20:31:44 +0000 |
HackBot |
<oerjan> rm wisdom/categories
|
Thu, 24 Jan 2013 20:30:58 +0000 |
HackBot |
<oerjan> revert
|
Thu, 24 Jan 2013 20:26:11 +0000 |
HackBot |
<oerjan> rm wisdom/monads; ln -s wisdom/monad wisdom/monads
|
Thu, 24 Jan 2013 20:26:09 +0000 |
HackBot |
<elliott> rm wisdom/monad tutorial
|
Thu, 24 Jan 2013 20:18:51 +0000 |
HackBot |
<Gregor> ln -s category wisdom/categories
|
Thu, 24 Jan 2013 20:18:14 +0000 |
HackBot |
<oerjan> sed -i -e \'1N\' -e \'s/\\n//\' wisdom/d-module
|
Thu, 24 Jan 2013 20:07:47 +0000 |
HackBot |
<oerjan> fmt wisdom/d-modules >wisdom/d-module; rm wisdom/d-modules
|
Thu, 24 Jan 2013 13:18:41 +0000 |
HackBot |
<Jafet> rm wisdom/gazpacho && ln -s gaspacho wisdom/gazpacho
|
Thu, 24 Jan 2013 12:55:57 +0000 |
HackBot |
<shachaf> sed -i \'s/$/ (see also: d-modules)/\' wisdom/taneb
|
Thu, 24 Jan 2013 12:54:51 +0000 |
HackBot |
<shachaf> mv ngevd wisdom/
|