Singular/Sources — pull request #417 by jankoboehm (2013-11-07 17:54:55+00:00)
Title: Fixed name conflict INT64 and wrong type

Fix for name INT64 causing a conflict when building Singular in cygwin64, fix for a type problem when using flint.