Tue, 10 May 2011 14:30:23 -0700 | Kevin Walker | updated to-do list | changeset | files |
Sun, 08 May 2011 22:15:11 -0700 | Kevin Walker | oops -- 3 reverts | changeset | files |
Sun, 08 May 2011 22:08:47 -0700 | Kevin Walker | move figs to top of page | changeset | files |
Sun, 08 May 2011 09:05:53 -0700 | Kevin Walker | make sure poset of decomps is a small category; added to to-do list | changeset | files |