Singular/Sources — pull request #545 by YueRen (2014-03-18 19:38:39+00:00)
Title: chg: new version of tropical.lib by Thomas

new version of tropical.lib requested to be checked into Singular on the 14.03.