Mon, 12 Dec 2011 21:05:33 -0800 | Scott Morrison | more diagrams, doing the complicated one in tikz again now that I've discovered pos (and an annoying bug in tikz) | changeset | files |
Mon, 12 Dec 2011 19:26:57 -0800 | Scott Morrison | Automated merge with https://tqft.net/hg/blob | changeset | files |
Mon, 12 Dec 2011 19:26:44 -0800 | Scott Morrison | minor, work on figures | changeset | files |