The Coq mailing list

[<bhandalc AT tcd.ie>]

Hello,

I noticed a bug in the CoqIDE commenting. If you begin quotations within a
comment that are not closed then the comment fails to close. E.g.

(*Hello "world *)

still looks like an open comment, as if we wrote

(*Hello "world

But if we write

(*Hello "world" *)

then the comment closes fine.

Colm

P.s. Couldn't get access to bug list so posting here, apologies for those not
interested.