homalg-project/AutoDoc — pull request #45 by fingolfin (2014-01-03 17:15:24+00:00)
Title: Various tweaks and cleanups

These changes should be harmless, and I'd push them directly, but I'd prefer if you could briefly look if they seem reasonable to you.