favonia/hott-notes — pull request #4 by williamdemeo (2013-12-08 20:46:52+00:00)
Title: wjd suggests

On my (fairly modern and comprehensive) TeX-Live installation (on Ubuntu 12.04 LTS), I could not compile the notes. I fixed this by adding a few protect commands to notes-week1.tex and by adding the tikz-cd.sty file to the repository. You might consider merging these changes into the main respository.

@williamdemeo