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