X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=spv-file-format.texi;h=eac26048d9bab842283f70096fc31f645186a2c4;hb=c5de9e3e53800a63a035b511dad9c577925867a0;hp=987a06dcf8200fb702dd4bf618780da4ecea472f;hpb=b07cc00facf9d44f590fa9b2ef5b2b6ab9b08911;p=pspp

diff --git a/spv-file-format.texi b/spv-file-format.texi
index 987a06dcf8..eac26048d9 100644
--- a/spv-file-format.texi
+++ b/spv-file-format.texi
@@ -143,13 +143,11 @@ The following attributes have been observed only on nested
 @table @asis
 @item Required attribute: @code{commandName}
 The locale-invariant name of the command that produced the output,
-e.g.@: @code{Frequencies} or @code{T-Test}.  For output not specific
-to a command, this is simply @code{log}.
+e.g.@: @code{Frequencies}, @code{T-Test}, @code{Non Par Corr}.
 
 @item Optional attribute: @code{visibility}
 To what degree the output represented by the element is visible.  The
-possible values are @code{visible}, @code{hidden}, and
-@code{collapsed}.
+only observed value is @code{collapsed}.
 
 @item Optional attribute: @code{locale}
 The locale used for output, in Windows format, which is similar to the
@@ -185,10 +183,38 @@ Contents: @code{label} [@code{table} | @code{text}]
 A @code{container} serves to label a @code{table} or a @code{text}
 item.
 
+@table @asis
+@item Required attribute: @code{visibility}
+Either @code{visible} or @code{hidden}, this indicates whether the
+container's content is displayed.
+
+@item Optional attribute: @code{text-align}
+Presumably indicates the alignment of text within the container.  The
+only observed value is @code{left}.  Observed with nested @code{table}
+and @code{text} elements.
+
+@item Optional attribute: @code{width}
+The width of the container in the form @code{@var{n}px}, e.g.@:
+@code{1097px}.
+@end table
+
 @item text
 Parent: @code{container} @*
 Contents: @code{html}
 
+@table @asis
+@item Required attribute: @code{type}
+One of @code{title}, @code{log}, or @code{text}.
+
+@item Optional attribute: @code{commandName}
+As on the @code{heading} element.  For output not specific to a
+command, this is simply @code{log}.  The corpus contains one example
+of where @code{commandName} is present but set to the empty string.
+
+@item Optional attribute: @code{creator-version}
+As on the @code{heading} element.
+@end table
+
 @item html
 Parent: @code{text} @*
 Contents: cdata