Singular/Sources — pull request #357 by jakobkroeker (2013-09-03 10:03:21+00:00)
Title: exported some functions in normal.lib which are reused in normalint.lib ...

Remark:
the normalint.lib is currently not publicly available.
It will as long it will reach a stable state.

Jakob