spv-file-format: Update understanding of commandName attribute.
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 11 Jan 2021 00:49:37 +0000 (16:49 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 11 Jan 2021 00:50:27 +0000 (16:50 -0800)
commit1d45a6b40b6f2552e00eabf736608c4166f7a540
treef10c152107f01f481b4225f7f1fafae91a777844
parent1c02620baa5dd413e3284071f6a5184c1e77bf40
spv-file-format: Update understanding of commandName attribute.
doc/dev/spv-file-format.texi
src/output/spv/structure-xml.grammar