sebasguts/AutoDoc — pull request #1 by fingolfin (2013-08-05 14:05:40+00:00)
Title: AutoDoc() pull request

Since we are going to integrate these changes first here, before moving them to homalg-project, I am opening a new pull request, to help with code review.