The tex/ directory contains the sources. TexLive 2014 is
known to work.
The coq/ directory contains snippets corresponding to the chapters
of the book.
The docs/ directory contains the website of the book.
The artwork/ directory contains the graphics used in the book.