Version that prints out macros
Version that prints out words.
Saving before major change
Deleting
minor tweaks
Merge branch 'master' of github.com:HoTT/book
index helper
improved index-helper script, cf. issue #94
Fiddling with alignments in equations
Forgot to add a file
adding compiled python to ignore list
Merge branch 'master' of github.com:HoTT/book