diff options
Diffstat (limited to 'html-test/ref/Instances.html')
-rw-r--r-- | html-test/ref/Instances.html | 68 |
1 files changed, 33 insertions, 35 deletions
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index 0cf0fc92..949f85b0 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -10,14 +10,14 @@ /><script src="haddock-bundle.min.js" async="async" type="text/javascript" ></script ><script type="text/x-mathjax-config" - >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script + >MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript" ></script ></head ><body ><div id="package-header" ><span class="caption empty" - ></span + > </span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -64,7 +64,7 @@ >Xyzzy</a > (b -> (a, a))</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -89,7 +89,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -199,7 +199,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -249,7 +249,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -311,7 +311,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -377,7 +377,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -427,7 +427,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -489,7 +489,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -539,7 +539,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -603,7 +603,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -715,7 +715,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -817,7 +817,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -903,7 +903,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -963,7 +963,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1055,7 +1055,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1115,7 +1115,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1279,7 +1279,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1341,7 +1341,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1403,7 +1403,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1467,7 +1467,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1541,7 +1541,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1614,7 +1614,7 @@ >Qx</a > a</td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -1622,7 +1622,7 @@ >Qux</a > a b</td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td class="src" @@ -1630,7 +1630,7 @@ >Quux</a > a b c</td ><td class="doc empty" - ></td + > </td ></tr ></table ></div @@ -1655,7 +1655,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1719,7 +1719,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1821,7 +1821,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -1901,7 +1901,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -2015,7 +2015,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -2089,7 +2089,7 @@ >#</a ></td ><td class="doc empty" - ></td + > </td ></tr ><tr ><td colspan="2" @@ -2141,8 +2141,6 @@ ></div ></div ></div - ><div id="footer" - ></div ></body ></html ->
\ No newline at end of file +> |