Singular/Sources — pull request #201 by YueRen (2012-10-26 12:40:19+00:00)
Title: fix: problem converting intvecs to gfan::ZVectors

this should also fix the problems building the documentation