| Mon, 19 Jul 2010 08:21:06 -0700 | Scott Morrison | minor fixes in smallblobs | file | diff | annotate |
| Mon, 19 Jul 2010 07:45:26 -0600 | Kevin Walker | starting on comparing_defs.tex | file | diff | annotate |
| Sun, 04 Jul 2010 23:32:48 -0600 | Kevin Walker | making quotation marks consistently "American style" | file | diff | annotate |
| Sun, 27 Jun 2010 19:04:53 -0700 | Scott Morrison | minor | file | diff | annotate |
| Sun, 27 Jun 2010 12:28:06 -0700 | Scott Morrison | a bunch of minor changes | file | diff | annotate |
| Thu, 24 Jun 2010 14:20:38 -0400 | Scott Morrison | cross-references for the small blobs lemma | file | diff | annotate |