Tue, 13 Dec 2011 07:57:01 -0800 | Kevin Walker | more \bullet -> *_h | changeset | files |
Tue, 13 Dec 2011 07:44:47 -0800 | Kevin Walker | remoed hand drawn figs; adjusted some composition symbols | changeset | files |
Mon, 12 Dec 2011 23:54:57 -0800 | Scott Morrison | removing obsolete reference to Lemma support-shrink | changeset | files |
Mon, 12 Dec 2011 23:54:17 -0800 | Scott Morrison | finished all the figures. (colors need adjusting) | changeset | files |
Mon, 12 Dec 2011 22:11:55 -0800 | Scott Morrison | redone the complicated figure in tikz | changeset | files |
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 |