Singular/Sources — pull request #303 by YueRen (2013-02-23 07:11:09+00:00)
Title: chg: added brackets around floating numbers

fixed latex lib and updated res files

No new test failed, though I updated several res files because of different print output:
/viewLog.html?buildId=4460&tab=buildResultsDiv&buildTypeId=bt7