geodynamics/aspect — pull request #84 by bangerth (2014-05-28 18:02:59+00:00)
Title: Sort the names of plugins.

Sort the names of plugins in the documentation. Upon visual inspection, also fix a number of formulas and text issues found in the manual's description of the various plugins.