[pygments.lexers]
pvs=pygments_pvs.lexer:PVSLexer

