Spell-check
Add an article version to create handouts.
Add projections demo, add simplified versions of text for slides (article mode
hangout to be distributed).
Minor typeset issue
Merge branch 'master' of github.com:maximedenes/coq-8.5-demo

Conflicts:
	slides/slides-common.tex