Thu, 20 Sep 2012 14:24:23 +1000 Automated merge with https://tqft.net/hg/blob default tip
Scott Morrison <scott@tqft.net> [Thu, 20 Sep 2012 14:24:23 +1000] rev 980
Automated merge with https://tqft.net/hg/blob
Thu, 20 Sep 2012 14:24:07 +1000 adding some notes from talks
Scott Morrison <scott@tqft.net> [Thu, 20 Sep 2012 14:24:07 +1000] rev 979
adding some notes from talks
(0) -300 -100 -30 -10 -2 tip