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 |
Fri, 04 Jun 2010 17:15:53 -0700 | Kevin Walker | breaking long lines | file | diff | annotate |
Thu, 03 Jun 2010 17:19:37 -0700 | Scott Morrison | fixing some inconsistencies in where the easy basic properties are treated | file | diff | annotate |
Wed, 02 Jun 2010 11:45:19 -0700 | Scott Morrison | some changes to blobdef, in particular indexing starts at 1 now | file | diff | annotate |
Mon, 31 May 2010 23:42:37 -0700 | Scott Morrison | minor | file | diff | annotate |
Fri, 07 May 2010 11:18:39 -0700 | Kevin Walker | hochschild stuff | file | diff | annotate |
Sat, 27 Mar 2010 03:07:45 +0000 | scott | committing changes from loon lake - mostly small blobs | file | diff | annotate |