| 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 |