Mercurial > repo
log wisdom/hom-set @ 4106:2c6f67282daa
age | author | description |
---|---|---|
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 |
Mon, 07 Jan 2013 21:14:24 +0000 | HackBot | <oerjan> echo "Hom-sets are just sets of morphisms between two objects." >wisdom/hom-set |