Singular/Sources — pull request #200 by mmklee (2012-10-26 09:26:54+00:00)
Title: Flintinterface

Updated FLINT interface to the latest 2.3 beta and prepared for replacement of NTLwhere possible