Singular/Sources — pull request #365 by steenpass (2013-09-11 09:54:45+00:00)
Title: Changes from master

These are changes from master which now finally find their way to spielwiese.