Sun, 11 Jul 2010 14:38:48 -0600 Kevin Walker search & replace: s/((sub?)section|appendix)\s+\\ref/\S\ref/
Sun, 11 Jul 2010 14:31:56 -0600 Kevin Walker ncat misc
Sat, 10 Jul 2010 12:30:09 -0600 Kevin Walker ncat.tex mostly module stuff
Thu, 08 Jul 2010 08:36:34 -0600 Kevin Walker ncat: module def
Wed, 07 Jul 2010 11:07:48 -0600 Kevin Walker more ncat (colimits)
Wed, 07 Jul 2010 10:17:30 -0600 Scott Morrison Automated merge with https://tqft.net/hg/blob/
(0) -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 tip