X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=spv-file-format.texi;h=38effad71ff460b2978ea65eea991eea7af992cd;hb=6a45803579c7f58e62668306240784beec7a611a;hp=f9d698706e50acf0ba48e577f2f1647a2737a118;hpb=8af10bb39253b97589c5f4b455b708c8fb9e233b;p=pspp

diff --git a/spv-file-format.texi b/spv-file-format.texi
index f9d698706e..38effad71f 100644
--- a/spv-file-format.texi
+++ b/spv-file-format.texi
@@ -400,8 +400,22 @@ styles := 00 font*8
           (i0 | i-1) (00 | 01) 00 (00 | 01)
           int
           byte[decimal] byte[grouping]
-          int[x5] string*[x5]    /* @r{custom currency} */
-          int[x6] byte*[x6]
+          int[n-ccs] string*[n-ccs]     /* @r{custom currency} */
+          styles2
+
+styles2 := i0                           /* @r{version 1} */
+styles2 := count(count(x5) count(x6))   /* @r{version 3} */
+x5 := byte*33 int[n] int*n
+x6 := 01 00 (03 | 04) 00 00 00
+      string[command] string[subcommand]
+      string[language] string[charset] string[locale]
+      (00 | 01) 00 (00 | 01) (00 | 01)
+      int
+      byte[decimal] byte[grouping]
+      byte*8 01
+      (string[dataset] string[datafile] i0 int i0)?
+      int[n-ccs] string*[n-ccs]
+      2e (00 | 01)
 @end example
 
 In every example in the corpus, @code{x1} is 240.  The meaning of the