| Tue, 27 Jul 2010 15:29:45 -0700 |
Scott Morrison |
some improvements to blobdef, including the z sin(1/z) example
|
file |
diff |
annotate
|
| Fri, 23 Jul 2010 13:52:30 -0700 |
Scott Morrison |
some modifications to blobdef
|
file |
diff |
annotate
|
| Thu, 22 Jul 2010 13:22:34 -0600 |
Kevin Walker |
blobdef.tex
|
file |
diff |
annotate
|
| Thu, 22 Jul 2010 12:20:42 -0600 |
Kevin Walker |
resolving conflict
|
file |
diff |
annotate
|
| Thu, 22 Jul 2010 11:41:21 -0600 |
Kevin Walker |
prelim blobdef.tex; committing now in anticipation Scott's further edits
|
file |
diff |
annotate
|
| Thu, 22 Jul 2010 09:48:51 -0700 |
Scott Morrison |
minor adjustments to blobdef
|
file |
diff |
annotate
|
| Thu, 22 Jul 2010 00:42:09 -0700 |
Scott Morrison |
fixed up much of blobdef, some examples and todos to deal with still. feel free to dismantle and reorganise\!
|
file |
diff |
annotate
|
| Wed, 21 Jul 2010 21:49:32 -0700 |
Scott Morrison |
starting in on ball decompositions, very formal looking at the moment without much help to the reader.
|
file |
diff |
annotate
|
| Tue, 20 Jul 2010 17:05:53 -0700 |
Scott Morrison |
fiddling inconclusively with 'decomposition into balls'
|
file |
diff |
annotate
|
| Mon, 19 Jul 2010 12:26:59 -0700 |
Scott Morrison |
committing partial defn for 'ball decomposition', so I can change computer
|
file |
diff |
annotate
|
| Wed, 14 Jul 2010 11:06:11 -0600 |
Scott Morrison |
revisions to \S 1-5
|
file |
diff |
annotate
|
| Wed, 07 Jul 2010 08:47:50 -0600 |
Kevin Walker |
a few more ncat revisions
|
file |
diff |
annotate
|
| Sat, 03 Jul 2010 19:57:58 -0600 |
Kevin Walker |
misc
|
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
|