[SilverLexer, BoogieLexer] Fixed split lines errors; moved contract keywords to a separate category; added a rule for triggers.

#758 Open
Repository
arshavir
Branch
default
Repository
birkenfeld
Branch
default

Bitbucket cannot automatically merge this request.

The commits that make up this pull request have been removed.

Bitbucket cannot automatically merge this request due to conflicts.

Review the conflicts on the Overview tab. You can then either decline the request or merge it manually on your local system using the following commands:

hg update 
hg pull -r default https://bitbucket.org/arshavir/pygments-main
Author
  1. Arshavir Ter-Gabrielyan
Reviewers
Description
No description

Comments (1)