diff options
Diffstat (limited to 'html-test/ref/Minimal.html')
-rw-r--r-- | html-test/ref/Minimal.html | 64 |
1 files changed, 44 insertions, 20 deletions
diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html index f062dc8c..32405540 100644 --- a/html-test/ref/Minimal.html +++ b/html-test/ref/Minimal.html @@ -87,16 +87,20 @@ window.onload = function () {pageLoad();setSynopsis("mini_Minimal.html");}; ><p class="src" ><a name="v:foo" class="def" >foo</a - >, <a name="v:bat" class="def" - >bat</a - >, <a name="v:bar" class="def" - >bar</a > :: a</p ><div class="doc" ><p >Any two of these are required...</p ></div ><p class="src" + ><a name="v:bar" class="def" + >bar</a + > :: a</p + ><p class="src" + ><a name="v:bat" class="def" + >bat</a + > :: a</p + ><p class="src" ><a name="v:fooBarBat" class="def" >fooBarBat</a > :: (a, a, a)</p @@ -141,19 +145,31 @@ window.onload = function () {pageLoad();setSynopsis("mini_Minimal.html");}; ><p class="src" ><a name="v:a" class="def" >a</a - >, <a name="v:g" class="def" - >g</a - >, <a name="v:f" class="def" - >f</a - >, <a name="v:e" class="def" - >e</a - >, <a name="v:d" class="def" - >d</a - >, <a name="v:c" class="def" - >c</a - >, <a name="v:b" class="def" + > :: a</p + ><p class="src" + ><a name="v:b" class="def" >b</a > :: a</p + ><p class="src" + ><a name="v:c" class="def" + >c</a + > :: a</p + ><p class="src" + ><a name="v:d" class="def" + >d</a + > :: a</p + ><p class="src" + ><a name="v:e" class="def" + >e</a + > :: a</p + ><p class="src" + ><a name="v:f" class="def" + >f</a + > :: a</p + ><p class="src" + ><a name="v:g" class="def" + >g</a + > :: a</p ></div ></div ><div class="top" @@ -181,11 +197,15 @@ window.onload = function () {pageLoad();setSynopsis("mini_Minimal.html");}; ><p class="src" ><a name="v:x" class="def" >x</a - >, <a name="v:z" class="def" - >z</a - >, <a name="v:y" class="def" + > :: a</p + ><p class="src" + ><a name="v:y" class="def" >y</a > :: a</p + ><p class="src" + ><a name="v:z" class="def" + >z</a + > :: a</p ></div ></div ><div class="top" @@ -203,7 +223,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Minimal.html");}; ><p class="src" ><a name="v:aaa" class="def" >aaa</a - >, <a name="v:bbb" class="def" + > :: a</p + ><p class="src" + ><a name="v:bbb" class="def" >bbb</a > :: a</p ></div @@ -255,7 +277,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Minimal.html");}; ><p class="src" ><a name="v:eee" class="def" >eee</a - >, <a name="v:fff" class="def" + > :: a</p + ><p class="src" + ><a name="v:fff" class="def" >fff</a > :: a</p ></div |