knuton/proof-theory — pull request #26 by knuton (2012-10-21 08:47:15+00:00)
Title: Add another round of aspell fixes

It is thanks to Ulle that I started using aspell.