chiark / gitweb /
doc/syntax.tex: Reformat the various grammar fragments.