| Fri, 06 May 2011 14:11:43 -0700 | Kevin Walker | added brief def of monoidal n-cats; killed some old invisible comments | file | diff | annotate |
| Wed, 13 Apr 2011 12:14:18 -0700 | Scott Morrison | more splittable symbols in the module section, and minor typos from April 12 | file | diff | annotate |