CVS update: MODIFIED: prog-modes, verilog-mode.el ...