Initial commit
added makefile
added lipsum
compilation instructions
first draft
phony pdf
fixed some bits, got it to a good length
clean cleans pdf
clean cleans pdf
added cc-by-sa
more gq
added cc-by-sa
72 cols!
took van straten's comments into account
jesus christ 72 cols
what is coq
clarified some bits