Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 23:13:40 -0800] rev 626
more on deligne
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 22:54:29 -0800] rev 625
starting on Deligne section
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 19:25:16 -0800] rev 624
misc
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 18:33:03 -0800] rev 623
proof of product thm
Scott Morrison <scott@tqft.net> [Sun, 14 Nov 2010 17:28:04 -0800] rev 622
minor tweaks in sketch proofs
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 16:33:36 -0800] rev 621
Automated merge with https://tqft.net/hg/blob/
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 16:33:18 -0800] rev 620
adding some proof sketches
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 16:14:43 -0800] rev 619
Automated merge with https://tqft.net/hg/blob/
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 16:14:37 -0800] rev 618
minor
Kevin Walker <kevin@canyon23.net> [Sun, 14 Nov 2010 16:10:31 -0800] rev 617
minor
Scott Morrison <scott@tqft.net> [Sun, 14 Nov 2010 16:15:17 -0800] rev 616
hopefully preamble commands should all be okay again
Scott Morrison <scott@tqft.net> [Sun, 14 Nov 2010 16:13:12 -0800] rev 615
various minor, and moving mapping spaces to 'specializations'