Fri, 16 Jul 2010 13:23:07 -0600 | Scott Morrison | spelling | file | diff | annotate |
Sun, 11 Jul 2010 14:38:48 -0600 | Kevin Walker | search & replace: s/((sub?)section|appendix)\s+\\ref/\S\ref/ | file | diff | annotate |
Wed, 07 Jul 2010 10:17:21 -0600 | Scott Morrison | minor | file | diff | annotate |
Mon, 05 Jul 2010 07:47:23 -0600 | Kevin Walker | revisions of n-cat examples | file | diff | annotate |
Sun, 04 Jul 2010 23:32:48 -0600 | Kevin Walker | making quotation marks consistently "American style" | file | diff | annotate |
Sat, 26 Jun 2010 17:22:53 -0700 | Scott Morrison | Making notation in the product theorem more consistent. | file | diff | annotate |
Sat, 26 Jun 2010 16:31:28 -0700 | Scott Morrison | Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent. | file | diff | annotate |