| changeset 900 | 2efd26072c91 |
| parent 896 | deeff619087e |
| child 909 | f194ed15587b |
| 897:9ba67422f1b9 | 900:2efd26072c91 |
|---|---|
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 |