Singular/Sources — pull request #450 by YueRen (2013-12-16 16:53:27+00:00)
Title: chg: moved polymake.lib tropical.lib to LIBS1 because of dependency on o...

...ptional modules

this will also remove them from all.lib,
also changed some remaining, residual "oldpolamek.lib" to "polymake.lib"