>>>>> Andy Bierman writes: Andy> I like the proposal made by Juergen, which (I think) modifies Andy> the comment to be " -- [<text>] <eoln> ". Yes, looks we are in agreement. /js -- Juergen Schoenwaelder <http://www.informatik.uni-osnabrueck.de/schoenw/>