From feabcd3a5d431f5bbc577e87d70a3e2bf3c39e70 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Tue, 14 Jul 2015 14:49:37 -0700
Subject: Updated spec.

---
 test/spec.txt | 49 +++++++++++++++++++++++++++++++++++++++++++++++--
 1 file changed, 47 insertions(+), 2 deletions(-)

(limited to 'test')

diff --git a/test/spec.txt b/test/spec.txt
index 9b5e9dc..4062998 100644
--- a/test/spec.txt
+++ b/test/spec.txt
@@ -3104,8 +3104,10 @@ A [bullet list marker](@bullet-list-marker)
 is a `-`, `+`, or `*` character.
 
 An [ordered list marker](@ordered-list-marker)
-is a sequence of one of more digits (`0-9`), followed by either a
-`.` character or a `)` character.
+is a sequence of 1--9 arabic digits (`0-9`), followed by either a
+`.` character or a `)` character.  (The reason for the length
+limit is that with 10 digits we start seeing integer overflows
+in some browsers.)
 
 The following rules define [list items]:
 
@@ -3374,6 +3376,49 @@ A list item may contain any kind of block:
 </ol>
 .
 
+Note that ordered list start numbers must be nine digits or less:
+
+.
+123456789. ok
+.
+<ol start="123456789">
+<li>ok</li>
+</ol>
+.
+
+.
+1234567890. not ok
+.
+<p>1234567890. not ok</p>
+.
+
+A start number may begin with 0s:
+
+.
+0. ok
+.
+<ol start="0">
+<li>ok</li>
+</ol>
+.
+
+.
+003. ok
+.
+<ol start="3">
+<li>ok</li>
+</ol>
+.
+
+A start number may not be negative:
+
+.
+-1. not ok
+.
+<p>-1. not ok</p>
+.
+
+
 2.  **Item starting with indented code.**  If a sequence of lines *Ls*
     constitute a sequence of blocks *Bs* starting with an indented code
     block and not separated from each other by more than one blank line,
-- 
cgit v1.2.3