homalg-project/AutoDoc — pull request #21 by fingolfin (2013-08-04 11:27:24+00:00)
Title: Various improvements, mainly for CreateMainPage and CreateTitlePage

These improvements were formerly part of PR #16, but I decided to separate them, as they can be merged now, and there is no need to delay that.