author | Kevin Walker <kevin@canyon23.net> |
Thu, 08 Dec 2011 23:13:56 -0800 | |
changeset 943 | 0a578230ee21 |
parent 941 | ee0c940fce59 (current diff) |
parent 942 | 598085348dd1 (diff) |
child 944 | 0bf2002737f0 |
--- a/blob to-do Thu Dec 08 23:10:11 2011 -0800 +++ b/blob to-do Thu Dec 08 23:13:56 2011 -0800 @@ -34,8 +34,6 @@ ====== Scott ====== -* 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