tree 2adddf066d8fdacfaa8a9df45273e3be66694c0f
parent 49c36dfc3dde3fb87692ed8a874beda69fedbf51
author Jeremy Manson <jeremymanson@google.com> 1557769187 -0700
committer Jeremy Manson <jeremymanson@google.com> 1558120331 -0700

Move grammar closer to official grammar.

Note that this involved lots of changes to the syntax highlighter,
since that is now doing some of the heavy lifting that the grammar
previously did.

Change-Id: I23e2133363ae08c6d9f944002c4f112eb43cf9bf