Wed, 17 Nov 2010 11:16:27 -0800 | Scott Morrison | very paltry start on colimits, out of time for now | file | diff | annotate |
Wed, 17 Nov 2010 10:56:17 -0800 | Scott Morrison | minor changes to rewritten intro | file | diff | annotate |
Wed, 17 Nov 2010 10:23:37 -0800 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | file | diff | annotate |
Mon, 15 Nov 2010 09:49:04 -0800 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | file | diff | annotate |
Sun, 14 Nov 2010 19:43:47 -0800 | Scott Morrison | Automated merge with https://tqft.net/hg/blob/ | file | diff | annotate |
Sun, 14 Nov 2010 19:43:43 -0800 | Scott Morrison | changing title? | file | diff | annotate |
Wed, 17 Nov 2010 09:17:07 -0800 | Kevin Walker | more intro | file | diff | annotate |