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
|
Wed, 02 Jun 2010 22:28:04 -0700 |
Kevin Walker |
misc minor changes
|
file |
diff |
annotate
|
Tue, 01 Jun 2010 23:07:42 -0700 |
Scott Morrison |
editting all over the place
|
file |
diff |
annotate
|
Thu, 13 May 2010 12:07:02 -0500 |
Scott Morrison |
minor changes, fixes to some diagrams
|
file |
diff |
annotate
|
Tue, 30 Mar 2010 15:12:27 -0700 |
Scott Morrison |
changing diff to homeo
|
file |
diff |
annotate
|
Sun, 01 Nov 2009 20:29:41 +0000 |
scott |
...
|
file |
diff |
annotate
|
Sun, 01 Nov 2009 18:51:40 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Fri, 30 Oct 2009 04:05:33 +0000 |
scott |
...
|
file |
diff |
annotate
|
Wed, 26 Aug 2009 02:35:24 +0000 |
kevin |
preparing for semi-public version soon
|
file |
diff |
annotate
|
Wed, 22 Jul 2009 03:38:13 +0000 |
kevin |
No new content, just rearranging (and procrastinating)
|
file |
diff |
annotate
|