homalg-project/AutoDoc — pull request #23 by fingolfin (2013-08-05 13:03:11+00:00)
Title: Improve documentation

This pull request attempts to improve the documentation of AutoDoc. It removes a lot of duplication, and fixes several errors and confusing remarks.

There is still work left to be done, though. I added some FIXME comments in gap/AutoDocDocEntries.g to mark some places that need work.