Wed, 17 Nov 2010 11:46:39 -0800 | Kevin Walker | done with intro for now | changeset | files |
Wed, 17 Nov 2010 11:26:00 -0800 | Kevin Walker | trying to resolve | changeset | files |
Wed, 17 Nov 2010 11:16:39 -0800 | Kevin Walker | maybe if I commit now merging will be easier? | changeset | files |
Wed, 17 Nov 2010 11:16:27 -0800 | Scott Morrison | very paltry start on colimits, out of time for now | changeset | files |