| 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 |
| Tue, 29 Jul 2008 22:37:25 +0000 | kevin | some improvements to c-star-diff section; probably a few more changes will follow soon | file | diff | annotate |