Thu, 03 Jun 2010 20:58:39 -0700 mostly finished inserting \cl
Scott Morrison <scott@tqft.net> [Thu, 03 Jun 2010 20:58:39 -0700] rev 335
mostly finished inserting \cl
Thu, 03 Jun 2010 20:34:36 -0700 Automated merge with https://tqft.net/hg/blob/
Scott Morrison <scott@tqft.net> [Thu, 03 Jun 2010 20:34:36 -0700] rev 334
Automated merge with https://tqft.net/hg/blob/
Thu, 03 Jun 2010 20:34:32 -0700 updating notation in ncat
Scott Morrison <scott@tqft.net> [Thu, 03 Jun 2010 20:34:32 -0700] rev 333
updating notation in ncat
Thu, 03 Jun 2010 17:19:37 -0700 fixing some inconsistencies in where the easy basic properties are treated
Scott Morrison <scott@tqft.net> [Thu, 03 Jun 2010 17:19:37 -0700] rev 332
fixing some inconsistencies in where the easy basic properties are treated
Thu, 03 Jun 2010 18:42:39 -0700 Automated merge with https://tqft.net/hg/blob/
Kevin Walker <kevin@canyon23.net> [Thu, 03 Jun 2010 18:42:39 -0700] rev 331
Automated merge with https://tqft.net/hg/blob/
Thu, 03 Jun 2010 18:42:08 -0700 module morphism stuff
Kevin Walker <kevin@canyon23.net> [Thu, 03 Jun 2010 18:42:08 -0700] rev 330
module morphism stuff
(0) -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip