favonia/hott-notes — pull request #1 by maurer (2013-09-23 15:28:34+00:00)
Title: Fix some build issues

Fixes two issues
* Latex package options are supposed to be comma separated with no spaces. Some implementations accept the space, but all should accept no space.
* Acronyms were defined in macros.tex, but also in week2a. Duplicate definition yields errors at build time, so I removed them from week2a.