changeset 903 | 26cbfb7944f9 |
parent 900 | 2efd26072c91 |
child 909 | f194ed15587b |
899:b04070fc937b | 903:26cbfb7944f9 |
---|---|
40 * review colors in figures |
40 * review colors in figures |
41 |
41 |
42 |
42 |
43 ====== Scott ====== |
43 ====== Scott ====== |
44 |
44 |
45 * SCOTT will go through appendix C.2 and make it better |
45 * SCOTT will go through appendix C.2 and make it better (Schulman's example?) |
46 |
46 |
47 * SCOTT: review/proof-read recent KW changes, especially colimit section and n-cat axioms |
47 * SCOTT: review/proof-read recent KW changes, especially colimit section and n-cat axioms |