aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/QuantifiedConstraints.html
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref/QuantifiedConstraints.html')
-rw-r--r--html-test/ref/QuantifiedConstraints.html8
1 files changed, 3 insertions, 5 deletions
diff --git a/html-test/ref/QuantifiedConstraints.html b/html-test/ref/QuantifiedConstraints.html
index 9315b866..59000945 100644
--- a/html-test/ref/QuantifiedConstraints.html
+++ b/html-test/ref/QuantifiedConstraints.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="#"
@@ -97,8 +97,6 @@
></div
></div
></div
- ><div id="footer"
- ></div
></body
></html
-> \ No newline at end of file
+>