chg: new version of tropical.lib by Thomas
Merge pull request #545 from YueRen/spielwiese

chg: new version of tropical.lib by Thomas