Comment lines & Line break

[Bart Bogaerts]

If a comment starts with // and has no further characters on the same line, IDP will assume the next line also consists of comments.

See

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=6f3d5bf8250a1e7d14c113cf3e17ccd7