dealii/dealii — pull request #177 by bangerth (2014-09-26 23:40:32+00:00)
Title: Provide better documentation on ghosted vectors.

This includes a discussion of what ghosted vectors are and what their
semantics are.

This is in reference to a mailing list thread this week. The key addition in this patch is the glossary entry. Everything else is just cross references and small updates.