doc/syntax.tex: Settle on <dotted-name> rather than <qualified-identifier>.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 17 Nov 2015 17:05:06 +0000 (17:05 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 17 Nov 2015 17:05:06 +0000 (17:05 +0000)
commitbc7dff5c56d6eed30130b8fa535c8771d83ba36c
tree39633671a91fe21e1a8577a7f4e9c6295bf025f4
parentcc0bcf3915ff3ae0aeaf19cae8d8badfa48983d5
doc/syntax.tex: Settle on <dotted-name> rather than <qualified-identifier>.

The document used both rather randomly.  The former is shorter and
less pointlessly abstract.
doc/syntax.tex