Sun, 04 Jul 2010 23:32:48 -0600 | Kevin Walker | making quotation marks consistently "American style" | file | diff | annotate |
Sun, 04 Jul 2010 11:56:23 -0600 | Kevin Walker | starting to revise ncat section | file | diff | annotate |
Sat, 03 Jul 2010 19:57:58 -0600 | Kevin Walker | misc | file | diff | annotate |
Sun, 27 Jun 2010 12:28:06 -0700 | Scott Morrison | a bunch of minor changes | 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 |
Thu, 24 Jun 2010 14:20:38 -0400 | Scott Morrison | cross-references for the small blobs lemma | file | diff | annotate |