On Sat, 13 Mar 2010, Sven Schreiber wrote:
the following keywords aren't syntax-colored.
These should now be OK in CVS.
Also I wonder whether '$' could be colored as well; I think
it would be
useful, but I'm not sure right now whether there would be unwanted side
Probably ;-) I think I'll pass on that for now.