Singular/Sources — pull request #194 by alexanderdreyer (2012-10-19 11:54:06+00:00)
Title: Removing unsupported texinfo constructs from polybori.lib's header

This removes some texinfo constructs from polybori.lib's header, which are not allowed in LIB headers. I also removed {{{@uref}}} even though in works in other libs, like surf.lib. (I have no idea, why it doesn't work here.)