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 |
Wed, 09 Jul 2008 21:20:04 +0000 | kevin | added stuff to to do list | file | diff | annotate |