diff options
author | Ben Gamari <ben@smart-cactus.org> | 2016-05-10 18:09:50 +0200 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2016-05-10 18:13:25 +0200 |
commit | 5731f3b94f560eb2e604871609c7ea139e932ad2 (patch) | |
tree | 17d6430482274a8d46db055dfae48afc1400b50d /html-test/ref/Instances.html | |
parent | 88bacd21107ef9b8d8d83d5d281a06c8ef4f2271 (diff) |
html-test: Update reference output
Diffstat (limited to 'html-test/ref/Instances.html')
-rw-r--r-- | html-test/ref/Instances.html | 50 |
1 files changed, 34 insertions, 16 deletions
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index e3a2cb78..697bfa1b 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -1712,7 +1712,9 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu ><tr ><td class="src clearfix" ><span class="inst-left" - ><span class="keyword" + ><span id="control.i:id:Quux:Thud:4" class="instance expander" onclick="toggleSection('i:id:Quux:Thud:4')" + ></span + > <span class="keyword" >data</span > <a href="#" >Thud</a @@ -1720,27 +1722,43 @@ window.onload = function () {pageLoad();setSynopsis("mini_Instances.html&qu >Int</a > (<a href="#" >Quux</a - > a [a] c) <ul class="inst" - ><li class="inst" - >= <a id="v:Thuud" class="def" - >Thuud</a - > a</li - ><li class="inst" - >| <a id="v:Thuuud" class="def" - >Thuuud</a - > <a href="#" - >Int</a - > <a href="#" - >Int</a - ></li - ></ul - ></span + > a [a] c)</span > <a href="#" class="selflink" >#</a ></td ><td class="doc empty" ></td ></tr + ><tr + ><td colspan="2" + ><div id="section.i:id:Quux:Thud:4" class="inst-details hide" + ><div class="src" + ><span class="keyword" + >data</span + > <a href="#" + >Thud</a + > <a href="#" + >Int</a + > (<a href="#" + >Quux</a + > a [a] c) <ul class="inst" + ><li class="inst" + >= <a id="v:Thuud" class="def" + >Thuud</a + > a</li + ><li class="inst" + >| <a id="v:Thuuud" class="def" + >Thuuud</a + > <a href="#" + >Int</a + > <a href="#" + >Int</a + ></li + ></ul + ></div + ></div + ></td + ></tr ></table ></div ></div |