| Sat, 28 Feb 2009 16:00:38 +0000 |
kevin |
local relation def; extended isotopy def
|
file |
diff |
annotate
|
| Fri, 27 Feb 2009 03:29:41 +0000 |
kevin |
finished draft of fields definition; begin to work on local relations definition
|
file |
diff |
annotate
|
| Thu, 26 Feb 2009 19:01:32 +0000 |
kevin |
most of fields def; still missing last two items;
|
file |
diff |
annotate
|
| Wed, 25 Feb 2009 21:21:11 +0000 |
kevin |
more detailed outline for intro
|
file |
diff |
annotate
|
| Tue, 03 Feb 2009 21:06:04 +0000 |
scott |
...
|
file |
diff |
annotate
|
| Thu, 20 Nov 2008 21:08:30 +0000 |
scott |
...
|
file |
diff |
annotate
|
| Wed, 29 Oct 2008 05:02:14 +0000 |
kevin |
...
|
file |
diff |
annotate
|
| Tue, 28 Oct 2008 01:19:24 +0000 |
kevin |
continuing to write up commutative algebra stuff
|
file |
diff |
annotate
|
| Mon, 27 Oct 2008 14:32:00 +0000 |
kevin |
...
|
file |
diff |
annotate
|
| Sun, 26 Oct 2008 22:20:59 +0000 |
kevin |
...
|
file |
diff |
annotate
|
| Sun, 26 Oct 2008 21:08:54 +0000 |
kevin |
more commutative algebra stuff
|
file |
diff |
annotate
|
| Sun, 26 Oct 2008 05:32:15 +0000 |
kevin |
increased line width; start to write commutative algebra results
|
file |
diff |
annotate
|
| Wed, 22 Oct 2008 21:56:42 +0000 |
kevin |
revise to-do list
|
file |
diff |
annotate
|
| Tue, 26 Aug 2008 23:13:07 +0000 |
kevin |
done (for now) revising proof of eval map stuff.
|
file |
diff |
annotate
|