What steps will reproduce the problem? 1. Write 2 line doc comments in succession. This should result in 2 paragraphs. 2. 3.

What is the expected output? What do you see instead?

2 paragraphs, 1 paragraph

Please use labels and text to provide additional information.

A workaround seems to be to have a line with spaces followed by a * between 2 paragraphs. This does not help in the case of consecutive doc comments, of course.

I have written some small tests to check the issues here.

Fixed with revision http://code.google.com/p/frege/source/detail?r=129