Singular/Sources — pull request #342 by YueRen (2013-07-19 09:34:41+00:00)
Title: Spielwiese

some changes to bring callgfanlib to the latest version of master