aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Instances.html
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref/Instances.html')
-rw-r--r--html-test/ref/Instances.html68
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: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</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
+ >&nbsp;</span
><ul class="links" id="page-menu"
><li
><a href="#"
@@ -64,7 +64,7 @@
>Xyzzy</a
> (b -&gt; (a, a))</td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
></table
></div
@@ -89,7 +89,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -199,7 +199,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -249,7 +249,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -311,7 +311,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -377,7 +377,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -427,7 +427,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -489,7 +489,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -539,7 +539,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -603,7 +603,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -715,7 +715,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -817,7 +817,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -903,7 +903,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -963,7 +963,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -1055,7 +1055,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -1115,7 +1115,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -1279,7 +1279,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -1341,7 +1341,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -1403,7 +1403,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -1467,7 +1467,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -1541,7 +1541,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -1614,7 +1614,7 @@
>Qx</a
> a</td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td class="src"
@@ -1622,7 +1622,7 @@
>Qux</a
> a b</td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td class="src"
@@ -1630,7 +1630,7 @@
>Quux</a
> a b c</td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
></table
></div
@@ -1655,7 +1655,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -1719,7 +1719,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -1821,7 +1821,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -1901,7 +1901,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -2015,7 +2015,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</td
></tr
><tr
><td colspan="2"
@@ -2089,7 +2089,7 @@
>#</a
></td
><td class="doc empty"
- ></td
+ >&nbsp;</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
+>