Sat, 05 Jul 2008 21:48:19 +0000 | kevin | a little more | changeset | files |
Sat, 05 Jul 2008 20:44:17 +0000 | kevin | small tweaks to Ainf module defn | changeset | files |
Sat, 05 Jul 2008 20:01:03 +0000 | kevin | a few changes to top Ainf cat def, etc. | changeset | files |
Fri, 04 Jul 2008 05:22:12 +0000 | scott | writing stupid formulas, trying to puzzle out d^2=0 | changeset | files |
Fri, 04 Jul 2008 00:26:46 +0000 | scott | ... | changeset | files |
Fri, 04 Jul 2008 00:07:02 +0000 | scott | diagrams of associahedrons | changeset | files |