Fix grammar for human-readable header.

Clarify state of symbolic indexes.

diff --git a/doc/xdump b/doc/xdump
index 00dbc53f4395b90ae0b82847f88a17227511623a..c74ffefe70b947e5412c9a8c7c6beae552b6cf7e 100644 (file)
--- a/doc/xdump
+++ b/doc/xdump
@@ -91,7 +91,7 @@ Requirements:
 
 * Output is self-contained; symbol encoding is explicit.
 
-* KISS: keep it simple, keep it stupid.
+* KISS: Keep it simple, stupid.
 
 Non-requirements:
 
@@ -524,8 +524,8 @@ EBNF changes:
 
 * Header and footer:
 
-    header = "config" name newline { colhdr } newline ;
-    colhdr = identifier [ "(" ( intnum | identifier ) ")" ] [ "..." ] ;
+    header = "config" name newline colhdr newline ;
+    colhdr = { identifier [ "(" ( intnum | identifier ) ")" ] } [ "..." ] ;
     footer = "/config" newline ;
 
   If colhdr ends with "...", the table is continued in another part,
@@ -597,15 +597,8 @@ EBNF changes:
 The resulting sub-language for records is a superset of
 machine-readable sub-language for records.
 
-
 See src/lib/global/*.config for examples.
 
-Human-readable xdump still has its shortcomings:
-
-* item selector pkg is an array indexed by values in symbol table
-  packing.  The column header should support symbolic index values
-  rather than numbers.
-
 
 Notes on Table Configuration Implementation
 
@@ -624,6 +617,10 @@ human-readable and machine-readable input.  The parser is not precise;
 it accepts human-readable syntax even within tables whose header marks
 them machine-readable.
 
+Symbolic index values in column headers are not implemented.  They
+occur in item selector pkg, which is an array indexed by values in
+symbol table packing.
+
 Configuration tables contain values that are not meant to be
 customized.  For instance, meta-data and symbol tables reflect the
 encoding of C language constructs in the server.  Selector flag