changeset 900 | 2efd26072c91 |
parent 896 | deeff619087e |
child 909 | f194ed15587b |
--- a/blob to-do Tue Oct 04 17:12:08 2011 -0700 +++ b/blob to-do Thu Oct 06 12:11:47 2011 -0700 @@ -42,6 +42,6 @@ ====== Scott ====== -* SCOTT will go through appendix C.2 and make it better +* SCOTT will go through appendix C.2 and make it better (Schulman's example?) * SCOTT: review/proof-read recent KW changes, especially colimit section and n-cat axioms