Singular/Sources — pull request #246 by mmklee (2012-12-19 10:25:25+00:00)
Title: fix: printing in ivOptimizeKern if option(prot)

http://snork.mathematik.uni-kl.de:31111/viewLog.html?buildId=3356&tab=buildResultsDiv&buildTypeId=bt7