eggrobin/MMP-II-Lecture-Notes-Spring-2013 — pull request #64 by eggrobin (2013-04-12 06:57:13+00:00)
Title: use livechars instead of redefining the catcodes globally, removing the ...

...need for some of the dirtier hacks.