diff options
Diffstat (limited to 'html-test/ref/BugExportHeadings.html')
| -rw-r--r-- | html-test/ref/BugExportHeadings.html | 47 |
1 files changed, 16 insertions, 31 deletions
diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html index 1010dc54..7e3ea0d3 100644 --- a/html-test/ref/BugExportHeadings.html +++ b/html-test/ref/BugExportHeadings.html @@ -35,7 +35,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html ><th >Safe Haskell</th ><td - >None</td + >Safe-Inferred</td ></tr ></table ><p class="caption" @@ -47,33 +47,27 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html ><ul ><li ><a href="" - >Foo -</a + >Foo</a ></li ><li ><a href="" - >Bar -</a + >Bar</a ></li ><li ><a href="" - >Baz -</a + >Baz</a ></li ><li ><a href="" - >One -</a + >One</a ></li ><li ><a href="" - >Two -</a + >Two</a ></li ><li ><a href="" - >Three -</a + >Three</a ></li ></ul ></div @@ -121,8 +115,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html ></div ><div id="interface" ><h1 id="g:1" - >Foo -</h1 + >Foo</h1 ><div class="top" ><p class="src" ><a name="v:foo" class="def" @@ -132,8 +125,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html ></p ></div ><h1 id="g:2" - >Bar -</h1 + >Bar</h1 ><div class="top" ><p class="src" ><a name="v:bar" class="def" @@ -143,8 +135,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html ></p ></div ><h1 id="g:3" - >Baz -</h1 + >Baz</h1 ><div class="top" ><p class="src" ><a name="v:baz" class="def" @@ -154,8 +145,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html ></p ></div ><h1 id="g:4" - >One -</h1 + >One</h1 ><div class="top" ><p class="src" ><a name="v:one" class="def" @@ -166,14 +156,12 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html ><div class="doc" ><div class="warning" ><p - >Deprecated: for one -</p + >Deprecated: for one</p ></div ></div ></div ><h1 id="g:5" - >Two -</h1 + >Two</h1 ><div class="top" ><p class="src" ><a name="v:two" class="def" @@ -184,14 +172,12 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html ><div class="doc" ><div class="warning" ><p - >Deprecated: for two -</p + >Deprecated: for two</p ></div ></div ></div ><h1 id="g:6" - >Three -</h1 + >Three</h1 ><div class="top" ><p class="src" ><a name="v:three" class="def" @@ -202,8 +188,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_BugExportHeadings.html ><div class="doc" ><div class="warning" ><p - >Deprecated: for three -</p + >Deprecated: for three</p ></div ></div ></div |