log wisdom/category theory @ 12246:f3be034784d0 draft

age author description
Tue, 23 Feb 2016 23:42:42 +0000 HackBot <shachaf> ` sed -i \'s/category theory/the theory of categories/\' wisdom/category\\ theory
Sun, 16 Mar 2014 01:52:15 +0000 HackBot <oerjan> revert
Tue, 27 Aug 2013 22:34:28 +0000 HackBot <olsner> echo In category theory, category theory is a theory in the category of theories. > wisdom/category\\ theory
Wed, 31 Jul 2013 20:53:16 +0000 HackBot <Bike> revert
Wed, 31 Jul 2013 20:46:16 +0000 HackBot <FreeFull> for x in wisdom/*; do rev "$x" > "$x"a; mv "$x"a "$x"; done
Fri, 05 Apr 2013 20:23:06 +0000 HackBot <oerjan> echo "Category theory is the theory of categories." >wisdom/\'category theory\'