Ticket #147 (assigned defect)
missing line breaks in functions types without comments
|Reported by:||JohannesWaldmann||Owned by:||MtnViewMark|
if a function's type contains no embedded annotations, then it is rendered without any reasonable linebreaks (it just breaks at the right border) which makes it hard to read.
See function symdiff here http://dfa.imn.htwk-leipzig.de/doc/autolib-fa-1.1/html/Autolib-NFA-Minus.html
and I attach a screenshot, just to be sure.