dealii/dealii — pull request #32 by bangerth (2014-07-26 11:11:54+00:00)
Title: Improve documentation.

This is in response to a question on the mailing list.