aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref
diff options
context:
space:
mode:
Diffstat (limited to 'html-test/ref')
-rw-r--r--html-test/ref/A.html4
-rw-r--r--html-test/ref/B.html4
-rw-r--r--html-test/ref/Bold.html4
-rw-r--r--html-test/ref/Bug1.html4
-rw-r--r--html-test/ref/Bug195.html4
-rw-r--r--html-test/ref/Bug2.html4
-rw-r--r--html-test/ref/Bug201.html4
-rw-r--r--html-test/ref/Bug253.html4
-rw-r--r--html-test/ref/Bug26.html4
-rw-r--r--html-test/ref/Bug280.html2
-rw-r--r--html-test/ref/Bug294.html4
-rw-r--r--html-test/ref/Bug298.html4
-rw-r--r--html-test/ref/Bug3.html4
-rw-r--r--html-test/ref/Bug308.html4
-rw-r--r--html-test/ref/Bug308CrossModule.html4
-rw-r--r--html-test/ref/Bug310.html4
-rw-r--r--html-test/ref/Bug313.html4
-rw-r--r--html-test/ref/Bug335.html4
-rw-r--r--html-test/ref/Bug387.html4
-rw-r--r--html-test/ref/Bug4.html4
-rw-r--r--html-test/ref/Bug6.html4
-rw-r--r--html-test/ref/Bug7.html4
-rw-r--r--html-test/ref/Bug8.html4
-rw-r--r--html-test/ref/Bug85.html4
-rw-r--r--html-test/ref/BugDeprecated.html4
-rw-r--r--html-test/ref/BugExportHeadings.html4
-rw-r--r--html-test/ref/Bugs.html4
-rw-r--r--html-test/ref/DeprecatedClass.html4
-rw-r--r--html-test/ref/DeprecatedData.html4
-rw-r--r--html-test/ref/DeprecatedFunction.html4
-rw-r--r--html-test/ref/DeprecatedFunction2.html4
-rw-r--r--html-test/ref/DeprecatedFunction3.html4
-rw-r--r--html-test/ref/DeprecatedModule.html4
-rw-r--r--html-test/ref/DeprecatedModule2.html4
-rw-r--r--html-test/ref/DeprecatedNewtype.html4
-rw-r--r--html-test/ref/DeprecatedReExport.html4
-rw-r--r--html-test/ref/DeprecatedRecord.html4
-rw-r--r--html-test/ref/DeprecatedTypeFamily.html4
-rw-r--r--html-test/ref/DeprecatedTypeSynonym.html4
-rw-r--r--html-test/ref/Examples.html4
-rw-r--r--html-test/ref/Extensions.html4
-rw-r--r--html-test/ref/FunArgs.html4
-rw-r--r--html-test/ref/GADTRecords.html4
-rw-r--r--html-test/ref/Hash.html4
-rw-r--r--html-test/ref/HiddenInstances.html4
-rw-r--r--html-test/ref/HiddenInstancesB.html4
-rw-r--r--html-test/ref/Hyperlinks.html4
-rw-r--r--html-test/ref/IgnoreExports.html4
-rw-r--r--html-test/ref/ImplicitParams.html4
-rw-r--r--html-test/ref/Instances.html4
-rw-r--r--html-test/ref/Math.html4
-rw-r--r--html-test/ref/Minimal.html4
-rw-r--r--html-test/ref/ModuleWithWarning.html4
-rw-r--r--html-test/ref/NamedDoc.html4
-rw-r--r--html-test/ref/Nesting.html4
-rw-r--r--html-test/ref/NoLayout.html4
-rw-r--r--html-test/ref/NonGreedy.html4
-rw-r--r--html-test/ref/Operators.html4
-rw-r--r--html-test/ref/OrphanInstances.html4
-rw-r--r--html-test/ref/OrphanInstancesClass.html4
-rw-r--r--html-test/ref/OrphanInstancesType.html4
-rw-r--r--html-test/ref/PatternSyns.html4
-rw-r--r--html-test/ref/PromotedTypes.html4
-rw-r--r--html-test/ref/Properties.html4
-rw-r--r--html-test/ref/PruneWithWarning.html4
-rw-r--r--html-test/ref/QuasiExpr.html4
-rw-r--r--html-test/ref/QuasiQuote.html4
-rw-r--r--html-test/ref/SpuriousSuperclassConstraints.html4
-rw-r--r--html-test/ref/TH.html4
-rw-r--r--html-test/ref/TH2.html4
-rw-r--r--html-test/ref/Test.html4
-rw-r--r--html-test/ref/Threaded.html4
-rw-r--r--html-test/ref/Threaded_TH.html4
-rw-r--r--html-test/ref/Ticket112.html4
-rw-r--r--html-test/ref/Ticket61.html4
-rw-r--r--html-test/ref/Ticket75.html4
-rw-r--r--html-test/ref/TitledPicture.html4
-rw-r--r--html-test/ref/TypeFamilies.html4
-rw-r--r--html-test/ref/TypeFamilies2.html4
-rw-r--r--html-test/ref/TypeOperators.html4
-rw-r--r--html-test/ref/Unicode.html4
-rw-r--r--html-test/ref/Visible.html4
-rw-r--r--html-test/ref/mini_A.html2
-rw-r--r--html-test/ref/mini_AdvanceTypes.html2
-rw-r--r--html-test/ref/mini_B.html2
-rw-r--r--html-test/ref/mini_Bug1.html2
-rw-r--r--html-test/ref/mini_Bug2.html2
-rw-r--r--html-test/ref/mini_Bug3.html2
-rw-r--r--html-test/ref/mini_Bug4.html2
-rw-r--r--html-test/ref/mini_Bug6.html2
-rw-r--r--html-test/ref/mini_Bug7.html2
-rw-r--r--html-test/ref/mini_Bug8.html2
-rw-r--r--html-test/ref/mini_BugDeprecated.html2
-rw-r--r--html-test/ref/mini_BugExportHeadings.html2
-rw-r--r--html-test/ref/mini_Bugs.html2
-rw-r--r--html-test/ref/mini_DeprecatedClass.html2
-rw-r--r--html-test/ref/mini_DeprecatedData.html2
-rw-r--r--html-test/ref/mini_DeprecatedFunction.html2
-rw-r--r--html-test/ref/mini_DeprecatedFunction2.html2
-rw-r--r--html-test/ref/mini_DeprecatedFunction3.html2
-rw-r--r--html-test/ref/mini_DeprecatedModule.html2
-rw-r--r--html-test/ref/mini_DeprecatedModule2.html2
-rw-r--r--html-test/ref/mini_DeprecatedNewtype.html2
-rw-r--r--html-test/ref/mini_DeprecatedReExport.html2
-rw-r--r--html-test/ref/mini_DeprecatedRecord.html2
-rw-r--r--html-test/ref/mini_DeprecatedTypeFamily.html2
-rw-r--r--html-test/ref/mini_DeprecatedTypeSynonym.html2
-rw-r--r--html-test/ref/mini_Examples.html2
-rw-r--r--html-test/ref/mini_FunArgs.html2
-rw-r--r--html-test/ref/mini_GADTRecords.html2
-rw-r--r--html-test/ref/mini_Hash.html2
-rw-r--r--html-test/ref/mini_HiddenInstances.html2
-rw-r--r--html-test/ref/mini_HiddenInstancesB.html2
-rw-r--r--html-test/ref/mini_Hyperlinks.html2
-rw-r--r--html-test/ref/mini_IgnoreExports.html2
-rw-r--r--html-test/ref/mini_Math.html2
-rw-r--r--html-test/ref/mini_ModuleWithWarning.html2
-rw-r--r--html-test/ref/mini_NamedDoc.html2
-rw-r--r--html-test/ref/mini_NoLayout.html2
-rw-r--r--html-test/ref/mini_NonGreedy.html2
-rw-r--r--html-test/ref/mini_Properties.html2
-rw-r--r--html-test/ref/mini_PruneWithWarning.html2
-rw-r--r--html-test/ref/mini_QuasiExpr.html2
-rw-r--r--html-test/ref/mini_QuasiQuote.html2
-rw-r--r--html-test/ref/mini_SpuriousSuperclassConstraints.html2
-rw-r--r--html-test/ref/mini_TH.html2
-rw-r--r--html-test/ref/mini_TH2.html2
-rw-r--r--html-test/ref/mini_Test.html2
-rw-r--r--html-test/ref/mini_Ticket112.html2
-rw-r--r--html-test/ref/mini_Ticket61.html2
-rw-r--r--html-test/ref/mini_Ticket75.html2
-rw-r--r--html-test/ref/mini_TitledPicture.html2
-rw-r--r--html-test/ref/mini_TypeFamilies.html2
-rw-r--r--html-test/ref/mini_TypeOperators.html2
-rw-r--r--html-test/ref/mini_Unicode.html2
-rw-r--r--html-test/ref/mini_Visible.html2
136 files changed, 217 insertions, 217 deletions
diff --git a/html-test/ref/A.html b/html-test/ref/A.html
index b58845e5..64a2916b 100644
--- a/html-test/ref/A.html
+++ b/html-test/ref/A.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -183,4 +183,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_A.html&quot;);};
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/B.html b/html-test/ref/B.html
index d82cf2cc..b1e43a51 100644
--- a/html-test/ref/B.html
+++ b/html-test/ref/B.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -171,4 +171,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_B.html&quot;);};
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html
index 8325419c..d8f8b3d4 100644
--- a/html-test/ref/Bold.html
+++ b/html-test/ref/Bold.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -95,4 +95,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bold.html&quot;);
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html
index 4bedbb86..5ea4ff26 100644
--- a/html-test/ref/Bug1.html
+++ b/html-test/ref/Bug1.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -98,4 +98,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug1.html&quot;);
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html
index c6af235a..b7f10741 100644
--- a/html-test/ref/Bug195.html
+++ b/html-test/ref/Bug195.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -181,4 +181,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug195.html&quot;
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html
index 9ae26bcd..98d7f06d 100644
--- a/html-test/ref/Bug2.html
+++ b/html-test/ref/Bug2.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -61,4 +61,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug2.html&quot;);
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html
index c84b55b1..19cb1aae 100644
--- a/html-test/ref/Bug201.html
+++ b/html-test/ref/Bug201.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -100,4 +100,4 @@ because there's a space before closing @
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug253.html b/html-test/ref/Bug253.html
index 36640332..2210b023 100644
--- a/html-test/ref/Bug253.html
+++ b/html-test/ref/Bug253.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -95,4 +95,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug253.html&quot;
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html
index 16251c0b..9382a738 100644
--- a/html-test/ref/Bug26.html
+++ b/html-test/ref/Bug26.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -203,4 +203,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug26.html&quot;)
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html
index 92eb61b0..fa8ca0de 100644
--- a/html-test/ref/Bug280.html
+++ b/html-test/ref/Bug280.html
@@ -7,7 +7,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html
index 1d7e0b32..44aad9d1 100644
--- a/html-test/ref/Bug294.html
+++ b/html-test/ref/Bug294.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -229,4 +229,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug294.html&quot;
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html
index 6204819e..a748e92a 100644
--- a/html-test/ref/Bug298.html
+++ b/html-test/ref/Bug298.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -137,4 +137,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug298.html&quot;
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html
index eaa16f97..d5f589ed 100644
--- a/html-test/ref/Bug3.html
+++ b/html-test/ref/Bug3.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -78,4 +78,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug3.html&quot;);
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html
index 915aec4c..03f287d5 100644
--- a/html-test/ref/Bug308.html
+++ b/html-test/ref/Bug308.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -109,4 +109,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug308.html&quot;
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html
index b2ae2adf..d9ed0b19 100644
--- a/html-test/ref/Bug308CrossModule.html
+++ b/html-test/ref/Bug308CrossModule.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -87,4 +87,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug308CrossModule
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html
index 8c5b45b8..2ba8dfb9 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -97,4 +97,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug310.html&quot;
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html
index 131b3382..a6573eaa 100644
--- a/html-test/ref/Bug313.html
+++ b/html-test/ref/Bug313.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -130,4 +130,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug313.html&quot;
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html
index ea760d41..f9eec481 100644
--- a/html-test/ref/Bug335.html
+++ b/html-test/ref/Bug335.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -123,4 +123,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug335.html&quot;
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html
index 25d6d989..6305a38d 100644
--- a/html-test/ref/Bug387.html
+++ b/html-test/ref/Bug387.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -109,4 +109,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug387.html&quot;
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html
index 22792fc1..722d4102 100644
--- a/html-test/ref/Bug4.html
+++ b/html-test/ref/Bug4.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug4.html&quot;);
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html
index 27e5251d..34fc4054 100644
--- a/html-test/ref/Bug6.html
+++ b/html-test/ref/Bug6.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -335,4 +335,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug6.html&quot;);
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html
index fe9e4569..cf6f2f2a 100644
--- a/html-test/ref/Bug7.html
+++ b/html-test/ref/Bug7.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -190,4 +190,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug7.html&quot;);
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html
index d32e0dbb..d2c03ab3 100644
--- a/html-test/ref/Bug8.html
+++ b/html-test/ref/Bug8.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -147,4 +147,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug8.html&quot;);
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html
index 90042380..8bb9b850 100644
--- a/html-test/ref/Bug85.html
+++ b/html-test/ref/Bug85.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -145,4 +145,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bug85.html&quot;)
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html
index a6da413e..2fb509d8 100644
--- a/html-test/ref/BugDeprecated.html
+++ b/html-test/ref/BugDeprecated.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -191,4 +191,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_BugDeprecated.htm
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html
index e8fd6fa6..8d444e26 100644
--- a/html-test/ref/BugExportHeadings.html
+++ b/html-test/ref/BugExportHeadings.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -211,4 +211,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_BugExportHeadings
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html
index cf87d82f..b83036c8 100644
--- a/html-test/ref/Bugs.html
+++ b/html-test/ref/Bugs.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Bugs.html&quot;);
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html
index 43e1a255..ac14b0d4 100644
--- a/html-test/ref/DeprecatedClass.html
+++ b/html-test/ref/DeprecatedClass.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -165,4 +165,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedClass.h
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html
index 2e53f3ea..248de4cb 100644
--- a/html-test/ref/DeprecatedData.html
+++ b/html-test/ref/DeprecatedData.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -187,4 +187,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedData.ht
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html
index 8ac2218a..59206ac9 100644
--- a/html-test/ref/DeprecatedFunction.html
+++ b/html-test/ref/DeprecatedFunction.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -105,4 +105,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedFunctio
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html
index 545e3d72..36159359 100644
--- a/html-test/ref/DeprecatedFunction2.html
+++ b/html-test/ref/DeprecatedFunction2.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -79,4 +79,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedFunctio
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html
index fc20977e..1bfc7d90 100644
--- a/html-test/ref/DeprecatedFunction3.html
+++ b/html-test/ref/DeprecatedFunction3.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -79,4 +79,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedFunctio
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html
index 0811319d..a6b2e0e8 100644
--- a/html-test/ref/DeprecatedModule.html
+++ b/html-test/ref/DeprecatedModule.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedModule.
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html
index db453568..bd7a7f31 100644
--- a/html-test/ref/DeprecatedModule2.html
+++ b/html-test/ref/DeprecatedModule2.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -71,4 +71,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedModule2
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html
index 3af56b1b..3d826f57 100644
--- a/html-test/ref/DeprecatedNewtype.html
+++ b/html-test/ref/DeprecatedNewtype.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -153,4 +153,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedNewtype
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html
index 595ae4ca..e5a3c38c 100644
--- a/html-test/ref/DeprecatedReExport.html
+++ b/html-test/ref/DeprecatedReExport.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -120,4 +120,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedReExpor
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html
index 82da6d30..ff217c4d 100644
--- a/html-test/ref/DeprecatedRecord.html
+++ b/html-test/ref/DeprecatedRecord.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -145,4 +145,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedRecord.
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html
index c31eae53..4a5028f3 100644
--- a/html-test/ref/DeprecatedTypeFamily.html
+++ b/html-test/ref/DeprecatedTypeFamily.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -119,4 +119,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedTypeFam
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html
index df0050ed..8f1896df 100644
--- a/html-test/ref/DeprecatedTypeSynonym.html
+++ b/html-test/ref/DeprecatedTypeSynonym.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -111,4 +111,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_DeprecatedTypeSyn
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html
index e885928b..7f742f2f 100644
--- a/html-test/ref/Examples.html
+++ b/html-test/ref/Examples.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -170,4 +170,4 @@ bar
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html
index 554bab12..01dde2d3 100644
--- a/html-test/ref/Extensions.html
+++ b/html-test/ref/Extensions.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -85,4 +85,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Extensions.html&q
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html
index d1ee154a..4c285c41 100644
--- a/html-test/ref/FunArgs.html
+++ b/html-test/ref/FunArgs.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -281,4 +281,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_FunArgs.html&quot
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html
index 7cec535c..6c091ac3 100644
--- a/html-test/ref/GADTRecords.html
+++ b/html-test/ref/GADTRecords.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -211,4 +211,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_GADTRecords.html&
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html
index 85c61f62..ac422955 100644
--- a/html-test/ref/Hash.html
+++ b/html-test/ref/Hash.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -408,4 +408,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Hash.html&quot;);
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html
index 90cb1c3b..5071e702 100644
--- a/html-test/ref/HiddenInstances.html
+++ b/html-test/ref/HiddenInstances.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -289,4 +289,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_HiddenInstances.h
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html
index fc8824fa..b3cf9ef9 100644
--- a/html-test/ref/HiddenInstancesB.html
+++ b/html-test/ref/HiddenInstancesB.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -161,4 +161,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_HiddenInstancesB.
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html
index bb19f4bc..66b14d7a 100644
--- a/html-test/ref/Hyperlinks.html
+++ b/html-test/ref/Hyperlinks.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -83,4 +83,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Hyperlinks.html&q
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html
index 746a3aa5..235d601c 100644
--- a/html-test/ref/IgnoreExports.html
+++ b/html-test/ref/IgnoreExports.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -97,4 +97,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_IgnoreExports.htm
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html
index 95128b9d..c08a565a 100644
--- a/html-test/ref/ImplicitParams.html
+++ b/html-test/ref/ImplicitParams.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -113,4 +113,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_ImplicitParams.ht
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html
index 697bfa1b..b0eb39cb 100644
--- a/html-test/ref/Instances.html
+++ b/html-test/ref/Instances.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -1953,4 +1953,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Instances.html&qu
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html
index 9f054ccc..7e85367d 100644
--- a/html-test/ref/Math.html
+++ b/html-test/ref/Math.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -97,4 +97,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Math.html&quot;);
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html
index 721260c6..0374ad8a 100644
--- a/html-test/ref/Minimal.html
+++ b/html-test/ref/Minimal.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -345,4 +345,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Minimal.html&quot
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html
index 776edd9b..a1761bce 100644
--- a/html-test/ref/ModuleWithWarning.html
+++ b/html-test/ref/ModuleWithWarning.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_ModuleWithWarning
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html
index 50590660..631f2043 100644
--- a/html-test/ref/NamedDoc.html
+++ b/html-test/ref/NamedDoc.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -61,4 +61,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_NamedDoc.html&quo
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html
index d98a75eb..370c6a88 100644
--- a/html-test/ref/Nesting.html
+++ b/html-test/ref/Nesting.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -355,4 +355,4 @@ with more of the indented list content.</p
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/NoLayout.html b/html-test/ref/NoLayout.html
index 061b5d42..d8148b0e 100644
--- a/html-test/ref/NoLayout.html
+++ b/html-test/ref/NoLayout.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -81,4 +81,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_NoLayout.html&quo
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html
index ea18c7c4..c389fc6a 100644
--- a/html-test/ref/NonGreedy.html
+++ b/html-test/ref/NonGreedy.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_NonGreedy.html&qu
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html
index 6c795d85..8a54ce3f 100644
--- a/html-test/ref/Operators.html
+++ b/html-test/ref/Operators.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -493,4 +493,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Operators.html&qu
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html
index a5accfdf..0ef094d5 100644
--- a/html-test/ref/OrphanInstances.html
+++ b/html-test/ref/OrphanInstances.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -111,4 +111,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_OrphanInstances.h
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html
index 0f1b31c9..98641d0b 100644
--- a/html-test/ref/OrphanInstancesClass.html
+++ b/html-test/ref/OrphanInstancesClass.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -83,4 +83,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_OrphanInstancesCl
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html
index ceabdaaa..d616edf9 100644
--- a/html-test/ref/OrphanInstancesType.html
+++ b/html-test/ref/OrphanInstancesType.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_OrphanInstancesTy
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index 70e9230b..242803c2 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -281,4 +281,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html
index 65aa0112..5bb95fdb 100644
--- a/html-test/ref/PromotedTypes.html
+++ b/html-test/ref/PromotedTypes.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -217,4 +217,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PromotedTypes.htm
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html
index 4020bb45..27f3a93a 100644
--- a/html-test/ref/Properties.html
+++ b/html-test/ref/Properties.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -87,4 +87,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Properties.html&q
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html
index 0ee2b104..7523c657 100644
--- a/html-test/ref/PruneWithWarning.html
+++ b/html-test/ref/PruneWithWarning.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -64,4 +64,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PruneWithWarning.
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html
index 37face02..c51ac526 100644
--- a/html-test/ref/QuasiExpr.html
+++ b/html-test/ref/QuasiExpr.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -321,4 +321,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_QuasiExpr.html&qu
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html
index 5fa53bb0..251c48dc 100644
--- a/html-test/ref/QuasiQuote.html
+++ b/html-test/ref/QuasiQuote.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -61,4 +61,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_QuasiQuote.html&q
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index e73ef2ac..ab796909 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -217,4 +217,4 @@ Fix spurious superclass constraints bug.</pre
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/TH.html b/html-test/ref/TH.html
index 74c2d60f..b0500019 100644
--- a/html-test/ref/TH.html
+++ b/html-test/ref/TH.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -59,4 +59,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TH.html&quot;);};
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html
index 024574a1..c9bcafef 100644
--- a/html-test/ref/TH2.html
+++ b/html-test/ref/TH2.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -59,4 +59,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TH2.html&quot;);}
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index a98b2228..49fb4704 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -2285,4 +2285,4 @@ is at the beginning of the line).</pre
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Threaded.html b/html-test/ref/Threaded.html
index 8c2261b1..bb31f300 100644
--- a/html-test/ref/Threaded.html
+++ b/html-test/ref/Threaded.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -90,4 +90,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Threaded.html&quo
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Threaded_TH.html b/html-test/ref/Threaded_TH.html
index 2140d5b7..ca794e51 100644
--- a/html-test/ref/Threaded_TH.html
+++ b/html-test/ref/Threaded_TH.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -87,4 +87,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Threaded_TH.html&
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html
index 6f42cff6..7e1c02aa 100644
--- a/html-test/ref/Ticket112.html
+++ b/html-test/ref/Ticket112.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Ticket112.html&qu
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html
index e4ff49be..cb9ba8bd 100644
--- a/html-test/ref/Ticket61.html
+++ b/html-test/ref/Ticket61.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -85,4 +85,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Ticket61.html&quo
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html
index 79678466..07e75296 100644
--- a/html-test/ref/Ticket75.html
+++ b/html-test/ref/Ticket75.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -113,4 +113,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Ticket75.html&quo
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html
index 61170750..04d1476b 100644
--- a/html-test/ref/TitledPicture.html
+++ b/html-test/ref/TitledPicture.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -107,4 +107,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TitledPicture.htm
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 257d59f1..db6ee1c3 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -1825,4 +1825,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies.html
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html
index f7909bff..156486d0 100644
--- a/html-test/ref/TypeFamilies2.html
+++ b/html-test/ref/TypeFamilies2.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -343,4 +343,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeFamilies2.htm
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html
index f6da47b1..53428892 100644
--- a/html-test/ref/TypeOperators.html
+++ b/html-test/ref/TypeOperators.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -187,4 +187,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_TypeOperators.htm
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html
index 335761f2..59f715e8 100644
--- a/html-test/ref/Unicode.html
+++ b/html-test/ref/Unicode.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -77,4 +77,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Unicode.html&quot
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html
index f1390568..47568b65 100644
--- a/html-test/ref/Visible.html
+++ b/html-test/ref/Visible.html
@@ -6,7 +6,7 @@
><link href="#" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//
@@ -63,4 +63,4 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_Visible.html&quot
></div
></body
></html
-> \ No newline at end of file
+>
diff --git a/html-test/ref/mini_A.html b/html-test/ref/mini_A.html
index 6f914440..fa89131e 100644
--- a/html-test/ref/mini_A.html
+++ b/html-test/ref/mini_A.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_AdvanceTypes.html b/html-test/ref/mini_AdvanceTypes.html
index f72502dd..c7d21915 100644
--- a/html-test/ref/mini_AdvanceTypes.html
+++ b/html-test/ref/mini_AdvanceTypes.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_B.html b/html-test/ref/mini_B.html
index 557d5dfe..5ce5772c 100644
--- a/html-test/ref/mini_B.html
+++ b/html-test/ref/mini_B.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Bug1.html b/html-test/ref/mini_Bug1.html
index 01a65c6f..d7aea0ed 100644
--- a/html-test/ref/mini_Bug1.html
+++ b/html-test/ref/mini_Bug1.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Bug2.html b/html-test/ref/mini_Bug2.html
index 4cbea53d..58fc5ba3 100644
--- a/html-test/ref/mini_Bug2.html
+++ b/html-test/ref/mini_Bug2.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Bug3.html b/html-test/ref/mini_Bug3.html
index 9f46a9e6..1b0d1b33 100644
--- a/html-test/ref/mini_Bug3.html
+++ b/html-test/ref/mini_Bug3.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Bug4.html b/html-test/ref/mini_Bug4.html
index cfc489b4..d17d2f2b 100644
--- a/html-test/ref/mini_Bug4.html
+++ b/html-test/ref/mini_Bug4.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Bug6.html b/html-test/ref/mini_Bug6.html
index cea7a09d..e60f4189 100644
--- a/html-test/ref/mini_Bug6.html
+++ b/html-test/ref/mini_Bug6.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Bug7.html b/html-test/ref/mini_Bug7.html
index 3c32e012..77698489 100644
--- a/html-test/ref/mini_Bug7.html
+++ b/html-test/ref/mini_Bug7.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Bug8.html b/html-test/ref/mini_Bug8.html
index 63770a6d..9d029307 100644
--- a/html-test/ref/mini_Bug8.html
+++ b/html-test/ref/mini_Bug8.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_BugDeprecated.html b/html-test/ref/mini_BugDeprecated.html
index 5a075ca8..8a35d4d6 100644
--- a/html-test/ref/mini_BugDeprecated.html
+++ b/html-test/ref/mini_BugDeprecated.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_BugExportHeadings.html b/html-test/ref/mini_BugExportHeadings.html
index 2a1223e6..50ac8cfc 100644
--- a/html-test/ref/mini_BugExportHeadings.html
+++ b/html-test/ref/mini_BugExportHeadings.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Bugs.html b/html-test/ref/mini_Bugs.html
index 6c7eefe7..94992ddf 100644
--- a/html-test/ref/mini_Bugs.html
+++ b/html-test/ref/mini_Bugs.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedClass.html b/html-test/ref/mini_DeprecatedClass.html
index 05889033..234778f0 100644
--- a/html-test/ref/mini_DeprecatedClass.html
+++ b/html-test/ref/mini_DeprecatedClass.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedData.html b/html-test/ref/mini_DeprecatedData.html
index 6dad3417..b4042bb8 100644
--- a/html-test/ref/mini_DeprecatedData.html
+++ b/html-test/ref/mini_DeprecatedData.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedFunction.html b/html-test/ref/mini_DeprecatedFunction.html
index 1564c916..3739b392 100644
--- a/html-test/ref/mini_DeprecatedFunction.html
+++ b/html-test/ref/mini_DeprecatedFunction.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedFunction2.html b/html-test/ref/mini_DeprecatedFunction2.html
index 8af6fa90..a66fc19b 100644
--- a/html-test/ref/mini_DeprecatedFunction2.html
+++ b/html-test/ref/mini_DeprecatedFunction2.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedFunction3.html b/html-test/ref/mini_DeprecatedFunction3.html
index 61819fc8..770dfad5 100644
--- a/html-test/ref/mini_DeprecatedFunction3.html
+++ b/html-test/ref/mini_DeprecatedFunction3.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedModule.html b/html-test/ref/mini_DeprecatedModule.html
index 112d70df..d70284b1 100644
--- a/html-test/ref/mini_DeprecatedModule.html
+++ b/html-test/ref/mini_DeprecatedModule.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedModule2.html b/html-test/ref/mini_DeprecatedModule2.html
index 18dc9b2d..a0773dcc 100644
--- a/html-test/ref/mini_DeprecatedModule2.html
+++ b/html-test/ref/mini_DeprecatedModule2.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedNewtype.html b/html-test/ref/mini_DeprecatedNewtype.html
index 22b56d10..165bcd4c 100644
--- a/html-test/ref/mini_DeprecatedNewtype.html
+++ b/html-test/ref/mini_DeprecatedNewtype.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedReExport.html b/html-test/ref/mini_DeprecatedReExport.html
index b1600cb7..22dfddf4 100644
--- a/html-test/ref/mini_DeprecatedReExport.html
+++ b/html-test/ref/mini_DeprecatedReExport.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedRecord.html b/html-test/ref/mini_DeprecatedRecord.html
index 5da974e7..0f400512 100644
--- a/html-test/ref/mini_DeprecatedRecord.html
+++ b/html-test/ref/mini_DeprecatedRecord.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedTypeFamily.html b/html-test/ref/mini_DeprecatedTypeFamily.html
index eb90e152..b430034a 100644
--- a/html-test/ref/mini_DeprecatedTypeFamily.html
+++ b/html-test/ref/mini_DeprecatedTypeFamily.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_DeprecatedTypeSynonym.html b/html-test/ref/mini_DeprecatedTypeSynonym.html
index 4ea068d9..44cb232d 100644
--- a/html-test/ref/mini_DeprecatedTypeSynonym.html
+++ b/html-test/ref/mini_DeprecatedTypeSynonym.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Examples.html b/html-test/ref/mini_Examples.html
index 16769ed2..9b3a5610 100644
--- a/html-test/ref/mini_Examples.html
+++ b/html-test/ref/mini_Examples.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_FunArgs.html b/html-test/ref/mini_FunArgs.html
index 952e6879..5f19fe0b 100644
--- a/html-test/ref/mini_FunArgs.html
+++ b/html-test/ref/mini_FunArgs.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_GADTRecords.html b/html-test/ref/mini_GADTRecords.html
index fe0c5753..b6b7ae6e 100644
--- a/html-test/ref/mini_GADTRecords.html
+++ b/html-test/ref/mini_GADTRecords.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Hash.html b/html-test/ref/mini_Hash.html
index 6647caf7..0c7590bb 100644
--- a/html-test/ref/mini_Hash.html
+++ b/html-test/ref/mini_Hash.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_HiddenInstances.html b/html-test/ref/mini_HiddenInstances.html
index 5e709de7..1ffecbf8 100644
--- a/html-test/ref/mini_HiddenInstances.html
+++ b/html-test/ref/mini_HiddenInstances.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_HiddenInstancesB.html b/html-test/ref/mini_HiddenInstancesB.html
index 8c8b832c..8ca461b6 100644
--- a/html-test/ref/mini_HiddenInstancesB.html
+++ b/html-test/ref/mini_HiddenInstancesB.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Hyperlinks.html b/html-test/ref/mini_Hyperlinks.html
index 5071b876..0e0c3e80 100644
--- a/html-test/ref/mini_Hyperlinks.html
+++ b/html-test/ref/mini_Hyperlinks.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_IgnoreExports.html b/html-test/ref/mini_IgnoreExports.html
index 498b8507..e97867f4 100644
--- a/html-test/ref/mini_IgnoreExports.html
+++ b/html-test/ref/mini_IgnoreExports.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Math.html b/html-test/ref/mini_Math.html
index e7f0f14f..23e7a9ce 100644
--- a/html-test/ref/mini_Math.html
+++ b/html-test/ref/mini_Math.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_ModuleWithWarning.html b/html-test/ref/mini_ModuleWithWarning.html
index ebe78e11..988db471 100644
--- a/html-test/ref/mini_ModuleWithWarning.html
+++ b/html-test/ref/mini_ModuleWithWarning.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_NamedDoc.html b/html-test/ref/mini_NamedDoc.html
index 58ba3f53..5a8e4ad9 100644
--- a/html-test/ref/mini_NamedDoc.html
+++ b/html-test/ref/mini_NamedDoc.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_NoLayout.html b/html-test/ref/mini_NoLayout.html
index 74878965..9400ad54 100644
--- a/html-test/ref/mini_NoLayout.html
+++ b/html-test/ref/mini_NoLayout.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_NonGreedy.html b/html-test/ref/mini_NonGreedy.html
index 96c51c75..78f0e847 100644
--- a/html-test/ref/mini_NonGreedy.html
+++ b/html-test/ref/mini_NonGreedy.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Properties.html b/html-test/ref/mini_Properties.html
index 8362d16e..86b2364c 100644
--- a/html-test/ref/mini_Properties.html
+++ b/html-test/ref/mini_Properties.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_PruneWithWarning.html b/html-test/ref/mini_PruneWithWarning.html
index e73dc510..379a701e 100644
--- a/html-test/ref/mini_PruneWithWarning.html
+++ b/html-test/ref/mini_PruneWithWarning.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_QuasiExpr.html b/html-test/ref/mini_QuasiExpr.html
index f9e8b7b5..6c2c97f7 100644
--- a/html-test/ref/mini_QuasiExpr.html
+++ b/html-test/ref/mini_QuasiExpr.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_QuasiQuote.html b/html-test/ref/mini_QuasiQuote.html
index e0d8e22e..fec1abb7 100644
--- a/html-test/ref/mini_QuasiQuote.html
+++ b/html-test/ref/mini_QuasiQuote.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_SpuriousSuperclassConstraints.html b/html-test/ref/mini_SpuriousSuperclassConstraints.html
index 38be01c4..c6b2d1aa 100644
--- a/html-test/ref/mini_SpuriousSuperclassConstraints.html
+++ b/html-test/ref/mini_SpuriousSuperclassConstraints.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_TH.html b/html-test/ref/mini_TH.html
index 51b35ee5..cbf260b4 100644
--- a/html-test/ref/mini_TH.html
+++ b/html-test/ref/mini_TH.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_TH2.html b/html-test/ref/mini_TH2.html
index 767e6e2c..6a29ad56 100644
--- a/html-test/ref/mini_TH2.html
+++ b/html-test/ref/mini_TH2.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Test.html b/html-test/ref/mini_Test.html
index 3fd26035..571b4abd 100644
--- a/html-test/ref/mini_Test.html
+++ b/html-test/ref/mini_Test.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Ticket112.html b/html-test/ref/mini_Ticket112.html
index d6f23ea2..3c6bf31f 100644
--- a/html-test/ref/mini_Ticket112.html
+++ b/html-test/ref/mini_Ticket112.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Ticket61.html b/html-test/ref/mini_Ticket61.html
index 6c061b7e..78a0dfba 100644
--- a/html-test/ref/mini_Ticket61.html
+++ b/html-test/ref/mini_Ticket61.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Ticket75.html b/html-test/ref/mini_Ticket75.html
index 351a4d16..08d934d9 100644
--- a/html-test/ref/mini_Ticket75.html
+++ b/html-test/ref/mini_Ticket75.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_TitledPicture.html b/html-test/ref/mini_TitledPicture.html
index 91f61ef3..c5a95bcd 100644
--- a/html-test/ref/mini_TitledPicture.html
+++ b/html-test/ref/mini_TitledPicture.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_TypeFamilies.html b/html-test/ref/mini_TypeFamilies.html
index 9c6e02ea..10e65e52 100644
--- a/html-test/ref/mini_TypeFamilies.html
+++ b/html-test/ref/mini_TypeFamilies.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_TypeOperators.html b/html-test/ref/mini_TypeOperators.html
index 61a01103..a5c321bf 100644
--- a/html-test/ref/mini_TypeOperators.html
+++ b/html-test/ref/mini_TypeOperators.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Unicode.html b/html-test/ref/mini_Unicode.html
index 820cd80d..df06b1c6 100644
--- a/html-test/ref/mini_Unicode.html
+++ b/html-test/ref/mini_Unicode.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[
diff --git a/html-test/ref/mini_Visible.html b/html-test/ref/mini_Visible.html
index d51d755a..8a92d3f5 100644
--- a/html-test/ref/mini_Visible.html
+++ b/html-test/ref/mini_Visible.html
@@ -7,7 +7,7 @@
><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean"
/><script src="haddock-util.js" type="text/javascript"
></script
- ><script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+ ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
></script
><script type="text/javascript"
>//<![CDATA[