diff options
| author | Nuno Alexandre <nuno@channable.com> | 2018-04-21 17:07:06 +0200 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-18 08:14:32 -0700 |
| commit | 3b9f729f30ec9bc2f4afd45f1d8ffeaaffc394cd (patch) | |
| tree | 21ab1831b0c102daaba9ec07c348cdbe77e299db | |
| parent | 365c77dfc39a28e4b5fd7eaeb802edcc9df196f4 (diff) | |
Update test-suite reference html pages
96 files changed, 292 insertions, 292 deletions
diff --git a/html-test/ref/A.html b/html-test/ref/A.html index ee4dcbef..7fbe05c5 100644 --- a/html-test/ref/A.html +++ b/html-test/ref/A.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -183,4 +183,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/B.html b/html-test/ref/B.html index 251486da..4c1506a3 100644 --- a/html-test/ref/B.html +++ b/html-test/ref/B.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -171,4 +171,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bold.html b/html-test/ref/Bold.html index 3125f0bc..5d11452e 100644 --- a/html-test/ref/Bold.html +++ b/html-test/ref/Bold.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -95,4 +95,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html index 1ae9a1d0..3d989dd5 100644 --- a/html-test/ref/Bug1.html +++ b/html-test/ref/Bug1.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -98,4 +98,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug195.html b/html-test/ref/Bug195.html index af192402..ee96e93f 100644 --- a/html-test/ref/Bug195.html +++ b/html-test/ref/Bug195.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -179,4 +179,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug2.html b/html-test/ref/Bug2.html index 7e9ef3a5..05818a68 100644 --- a/html-test/ref/Bug2.html +++ b/html-test/ref/Bug2.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -59,4 +59,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug201.html b/html-test/ref/Bug201.html index 2d27f27f..920d0e4a 100644 --- a/html-test/ref/Bug201.html +++ b/html-test/ref/Bug201.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -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 64ffda7d..ee50bc95 100644 --- a/html-test/ref/Bug253.html +++ b/html-test/ref/Bug253.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -95,4 +95,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html index c7de9837..97f69317 100644 --- a/html-test/ref/Bug26.html +++ b/html-test/ref/Bug26.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -205,4 +205,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug280.html b/html-test/ref/Bug280.html index a4a6088c..c671e911 100644 --- a/html-test/ref/Bug280.html +++ b/html-test/ref/Bug280.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -75,4 +75,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html index be7e4699..528696e6 100644 --- a/html-test/ref/Bug294.html +++ b/html-test/ref/Bug294.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -361,4 +361,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug298.html b/html-test/ref/Bug298.html index cda567e8..2ddf6603 100644 --- a/html-test/ref/Bug298.html +++ b/html-test/ref/Bug298.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -137,4 +137,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug3.html b/html-test/ref/Bug3.html index 1e9ab3ad..931f5cad 100644 --- a/html-test/ref/Bug3.html +++ b/html-test/ref/Bug3.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -78,4 +78,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug308.html b/html-test/ref/Bug308.html index 685440ef..cef834cd 100644 --- a/html-test/ref/Bug308.html +++ b/html-test/ref/Bug308.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -109,4 +109,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug308CrossModule.html b/html-test/ref/Bug308CrossModule.html index 0b3e555e..0af0b3ed 100644 --- a/html-test/ref/Bug308CrossModule.html +++ b/html-test/ref/Bug308CrossModule.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -87,4 +87,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html index b0967fb6..5dd94b34 100644 --- a/html-test/ref/Bug310.html +++ b/html-test/ref/Bug310.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" diff --git a/html-test/ref/Bug313.html b/html-test/ref/Bug313.html index 30844790..bbfc6416 100644 --- a/html-test/ref/Bug313.html +++ b/html-test/ref/Bug313.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -130,4 +130,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html index c394b5ad..6f5ba351 100644 --- a/html-test/ref/Bug335.html +++ b/html-test/ref/Bug335.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -127,4 +127,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html index cf64c242..ccdeb642 100644 --- a/html-test/ref/Bug387.html +++ b/html-test/ref/Bug387.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -113,4 +113,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug4.html b/html-test/ref/Bug4.html index 5b370eed..e42e384b 100644 --- a/html-test/ref/Bug4.html +++ b/html-test/ref/Bug4.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -77,4 +77,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug458.html b/html-test/ref/Bug458.html index 8151da61..ea43a8b4 100644 --- a/html-test/ref/Bug458.html +++ b/html-test/ref/Bug458.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -79,4 +79,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug546.html b/html-test/ref/Bug546.html index b3cb1105..a56cf672 100644 --- a/html-test/ref/Bug546.html +++ b/html-test/ref/Bug546.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -272,4 +272,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html index d63e5afe..8ccd244b 100644 --- a/html-test/ref/Bug548.html +++ b/html-test/ref/Bug548.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" diff --git a/html-test/ref/Bug6.html b/html-test/ref/Bug6.html index 47e4f6a1..2790a330 100644 --- a/html-test/ref/Bug6.html +++ b/html-test/ref/Bug6.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -331,4 +331,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html index 9718d731..c6876bd3 100644 --- a/html-test/ref/Bug613.html +++ b/html-test/ref/Bug613.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -271,4 +271,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug647.html b/html-test/ref/Bug647.html index 56af3429..0f30ff37 100644 --- a/html-test/ref/Bug647.html +++ b/html-test/ref/Bug647.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -101,4 +101,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug679.html b/html-test/ref/Bug679.html index d8725c80..d0d0a69d 100644 --- a/html-test/ref/Bug679.html +++ b/html-test/ref/Bug679.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -195,4 +195,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html index d8ec9dba..08a87751 100644 --- a/html-test/ref/Bug7.html +++ b/html-test/ref/Bug7.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -202,4 +202,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index 67056ac1..65fcb923 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -145,4 +145,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bug85.html b/html-test/ref/Bug85.html index d595433d..c4217fa1 100644 --- a/html-test/ref/Bug85.html +++ b/html-test/ref/Bug85.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -133,4 +133,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/BugDeprecated.html b/html-test/ref/BugDeprecated.html index 2c46d9f7..f7eda6c4 100644 --- a/html-test/ref/BugDeprecated.html +++ b/html-test/ref/BugDeprecated.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -191,4 +191,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html index d1ecc40d..4c2e822e 100644 --- a/html-test/ref/BugExportHeadings.html +++ b/html-test/ref/BugExportHeadings.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -223,4 +223,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Bugs.html b/html-test/ref/Bugs.html index 66589b8b..1e971c79 100644 --- a/html-test/ref/Bugs.html +++ b/html-test/ref/Bugs.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -75,4 +75,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html index 00933381..5a5630ca 100644 --- a/html-test/ref/BundledPatterns.html +++ b/html-test/ref/BundledPatterns.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -455,4 +455,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/BundledPatterns2.html b/html-test/ref/BundledPatterns2.html index f5ca34d8..e589b4fe 100644 --- a/html-test/ref/BundledPatterns2.html +++ b/html-test/ref/BundledPatterns2.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -453,4 +453,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/ConstructorPatternExport.html b/html-test/ref/ConstructorPatternExport.html index 0105fa14..f563331d 100644 --- a/html-test/ref/ConstructorPatternExport.html +++ b/html-test/ref/ConstructorPatternExport.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -115,4 +115,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/CrossPackageDocs.html b/html-test/ref/CrossPackageDocs.html index 04f443f0..5dd20c52 100644 --- a/html-test/ref/CrossPackageDocs.html +++ b/html-test/ref/CrossPackageDocs.html @@ -15,8 +15,8 @@ window.onload = function () {pageLoad();setSynopsis("mini_CrossPackageDocs.html" ></head ><body ><div id="package-header" - ><div class="caption empty" - > </div + ><span class="caption empty" + > </span ><ul class="links" id="page-menu" ><li ><a href="" diff --git a/html-test/ref/DeprecatedClass.html b/html-test/ref/DeprecatedClass.html index ac21bbfb..e5c09dde 100644 --- a/html-test/ref/DeprecatedClass.html +++ b/html-test/ref/DeprecatedClass.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -157,4 +157,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html index 91935311..d53d3173 100644 --- a/html-test/ref/DeprecatedData.html +++ b/html-test/ref/DeprecatedData.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -187,4 +187,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedFunction.html b/html-test/ref/DeprecatedFunction.html index fac1ea06..bba633a1 100644 --- a/html-test/ref/DeprecatedFunction.html +++ b/html-test/ref/DeprecatedFunction.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -105,4 +105,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedFunction2.html b/html-test/ref/DeprecatedFunction2.html index ac97846f..c432491f 100644 --- a/html-test/ref/DeprecatedFunction2.html +++ b/html-test/ref/DeprecatedFunction2.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -79,4 +79,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedFunction3.html b/html-test/ref/DeprecatedFunction3.html index 3d773c9b..ef36b67c 100644 --- a/html-test/ref/DeprecatedFunction3.html +++ b/html-test/ref/DeprecatedFunction3.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -79,4 +79,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedModule.html b/html-test/ref/DeprecatedModule.html index 7d5601fd..b3aa8e63 100644 --- a/html-test/ref/DeprecatedModule.html +++ b/html-test/ref/DeprecatedModule.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -75,4 +75,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedModule2.html b/html-test/ref/DeprecatedModule2.html index e5c941cd..a88974a6 100644 --- a/html-test/ref/DeprecatedModule2.html +++ b/html-test/ref/DeprecatedModule2.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -69,4 +69,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedNewtype.html b/html-test/ref/DeprecatedNewtype.html index 04a57ab6..cf2558b8 100644 --- a/html-test/ref/DeprecatedNewtype.html +++ b/html-test/ref/DeprecatedNewtype.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -153,4 +153,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html index 2918b59e..9b6bc3f1 100644 --- a/html-test/ref/DeprecatedReExport.html +++ b/html-test/ref/DeprecatedReExport.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -124,4 +124,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedRecord.html b/html-test/ref/DeprecatedRecord.html index 8f0bb9c6..9634b651 100644 --- a/html-test/ref/DeprecatedRecord.html +++ b/html-test/ref/DeprecatedRecord.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -145,4 +145,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedTypeFamily.html b/html-test/ref/DeprecatedTypeFamily.html index bff1297b..37aee6ff 100644 --- a/html-test/ref/DeprecatedTypeFamily.html +++ b/html-test/ref/DeprecatedTypeFamily.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -103,4 +103,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DeprecatedTypeSynonym.html b/html-test/ref/DeprecatedTypeSynonym.html index 4a080c27..8b2839dc 100644 --- a/html-test/ref/DeprecatedTypeSynonym.html +++ b/html-test/ref/DeprecatedTypeSynonym.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -111,4 +111,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/DuplicateRecordFields.html b/html-test/ref/DuplicateRecordFields.html index c8b0d9c8..7fc06af0 100644 --- a/html-test/ref/DuplicateRecordFields.html +++ b/html-test/ref/DuplicateRecordFields.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -155,4 +155,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Examples.html b/html-test/ref/Examples.html index a69f9235..d8dfa03d 100644 --- a/html-test/ref/Examples.html +++ b/html-test/ref/Examples.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -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 eef4b96f..f9946f3e 100644 --- a/html-test/ref/Extensions.html +++ b/html-test/ref/Extensions.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -85,4 +85,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html index b6aaa332..409664c5 100644 --- a/html-test/ref/FunArgs.html +++ b/html-test/ref/FunArgs.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html index 918ec32e..5fd2fa84 100644 --- a/html-test/ref/GADTRecords.html +++ b/html-test/ref/GADTRecords.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -223,4 +223,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html index d8c275fa..6c489505 100644 --- a/html-test/ref/Hash.html +++ b/html-test/ref/Hash.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -430,4 +430,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html index a640b2c5..3a03d2ba 100644 --- a/html-test/ref/HiddenInstances.html +++ b/html-test/ref/HiddenInstances.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -313,4 +313,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html index f67653c8..f6b4db1e 100644 --- a/html-test/ref/HiddenInstancesB.html +++ b/html-test/ref/HiddenInstancesB.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -173,4 +173,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Hyperlinks.html b/html-test/ref/Hyperlinks.html index bf4ca9bf..83728f43 100644 --- a/html-test/ref/Hyperlinks.html +++ b/html-test/ref/Hyperlinks.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -83,4 +83,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/IgnoreExports.html b/html-test/ref/IgnoreExports.html index 65262cb0..eed12c00 100644 --- a/html-test/ref/IgnoreExports.html +++ b/html-test/ref/IgnoreExports.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -97,4 +97,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/ImplicitParams.html b/html-test/ref/ImplicitParams.html index 807bf3b4..5b5df51f 100644 --- a/html-test/ref/ImplicitParams.html +++ b/html-test/ref/ImplicitParams.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -111,4 +111,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html index 30cac06f..e2f16a49 100644 --- a/html-test/ref/Instances.html +++ b/html-test/ref/Instances.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -2139,4 +2139,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Math.html b/html-test/ref/Math.html index 26feba6e..892d3e3d 100644 --- a/html-test/ref/Math.html +++ b/html-test/ref/Math.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -97,4 +97,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Minimal.html b/html-test/ref/Minimal.html index c425933f..a5e7aa28 100644 --- a/html-test/ref/Minimal.html +++ b/html-test/ref/Minimal.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -339,4 +339,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/ModuleWithWarning.html b/html-test/ref/ModuleWithWarning.html index f6ccf578..480f04a4 100644 --- a/html-test/ref/ModuleWithWarning.html +++ b/html-test/ref/ModuleWithWarning.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -75,4 +75,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/NamedDoc.html b/html-test/ref/NamedDoc.html index ed0cfa03..e0f7f967 100644 --- a/html-test/ref/NamedDoc.html +++ b/html-test/ref/NamedDoc.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -61,4 +61,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html index 29657127..b64bd49d 100644 --- a/html-test/ref/Nesting.html +++ b/html-test/ref/Nesting.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -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 1b84596e..b4ce29e2 100644 --- a/html-test/ref/NoLayout.html +++ b/html-test/ref/NoLayout.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -81,4 +81,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/NonGreedy.html b/html-test/ref/NonGreedy.html index b4827db9..13fb91c7 100644 --- a/html-test/ref/NonGreedy.html +++ b/html-test/ref/NonGreedy.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -77,4 +77,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index 9467343a..993c7361 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -527,4 +527,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html index cbd499b5..d0d19e2f 100644 --- a/html-test/ref/OrphanInstances.html +++ b/html-test/ref/OrphanInstances.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -105,4 +105,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html index 8bcbee30..04193c50 100644 --- a/html-test/ref/OrphanInstancesClass.html +++ b/html-test/ref/OrphanInstancesClass.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -125,4 +125,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html index e7ea133b..67acfcd5 100644 --- a/html-test/ref/OrphanInstancesType.html +++ b/html-test/ref/OrphanInstancesType.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -127,4 +127,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/PR643.html b/html-test/ref/PR643.html index 1e70859f..ecd39632 100644 --- a/html-test/ref/PR643.html +++ b/html-test/ref/PR643.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -77,4 +77,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/PR643_1.html b/html-test/ref/PR643_1.html index 98def13c..c85dddd1 100644 --- a/html-test/ref/PR643_1.html +++ b/html-test/ref/PR643_1.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -77,4 +77,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html index edc4842f..7812ff17 100644 --- a/html-test/ref/PatternSyns.html +++ b/html-test/ref/PatternSyns.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -386,4 +386,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/PromotedTypes.html b/html-test/ref/PromotedTypes.html index f36bb227..4e15da63 100644 --- a/html-test/ref/PromotedTypes.html +++ b/html-test/ref/PromotedTypes.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -201,4 +201,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html index 62701755..f4709e43 100644 --- a/html-test/ref/Properties.html +++ b/html-test/ref/Properties.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -87,4 +87,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/PruneWithWarning.html b/html-test/ref/PruneWithWarning.html index abfc1362..9b231a36 100644 --- a/html-test/ref/PruneWithWarning.html +++ b/html-test/ref/PruneWithWarning.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -62,4 +62,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html index e008ccd2..88f1b92c 100644 --- a/html-test/ref/QuasiExpr.html +++ b/html-test/ref/QuasiExpr.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -337,4 +337,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/QuasiQuote.html b/html-test/ref/QuasiQuote.html index dc9c8cc5..15cb848a 100644 --- a/html-test/ref/QuasiQuote.html +++ b/html-test/ref/QuasiQuote.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -59,4 +59,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html index b06300b5..17c026d1 100644 --- a/html-test/ref/SpuriousSuperclassConstraints.html +++ b/html-test/ref/SpuriousSuperclassConstraints.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -235,4 +235,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 47bdb45e..2c74cbb0 100644 --- a/html-test/ref/TH.html +++ b/html-test/ref/TH.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -61,4 +61,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/TH2.html b/html-test/ref/TH2.html index a0c8dd4c..897f73b9 100644 --- a/html-test/ref/TH2.html +++ b/html-test/ref/TH2.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -57,4 +57,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Table.html b/html-test/ref/Table.html index 62e2a5d7..462f7ca5 100644 --- a/html-test/ref/Table.html +++ b/html-test/ref/Table.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -177,16 +177,16 @@ ><thead ><tr ><th - > Header row, column 1 + > Header row, column 1 (header rows optional) </th ><th - > Header 2 + > Header 2 </th ><th - > Header 3 + > Header 3 </th ><th - > Header 4 + > Header 4 </th ></tr ></thead @@ -215,12 +215,12 @@ ><td > body row 3 </td ><td rowspan="2" - > Cells may - span rows. + > Cells may + span rows. </td ><td colspan="2" rowspan="2" - > \[ - f(n) = \sum_{i=1} + > \[ + f(n) = \sum_{i=1} \] </td ></tr ><tr @@ -237,4 +237,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index 38a70143..5cdee91e 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -2393,4 +2393,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 3aa18c08..347c725b 100644 --- a/html-test/ref/Threaded.html +++ b/html-test/ref/Threaded.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -90,4 +90,4 @@ ></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 fb9f1ba3..257b6b99 100644 --- a/html-test/ref/Threaded_TH.html +++ b/html-test/ref/Threaded_TH.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -95,4 +95,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html index e419b097..0c972de6 100644 --- a/html-test/ref/Ticket112.html +++ b/html-test/ref/Ticket112.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -77,4 +77,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Ticket61.html b/html-test/ref/Ticket61.html index fee6ea25..a16e30bf 100644 --- a/html-test/ref/Ticket61.html +++ b/html-test/ref/Ticket61.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -75,4 +75,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Ticket75.html b/html-test/ref/Ticket75.html index 45f876c1..f2e0ef7a 100644 --- a/html-test/ref/Ticket75.html +++ b/html-test/ref/Ticket75.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -113,4 +113,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/TitledPicture.html b/html-test/ref/TitledPicture.html index 06aa2f52..8880e3c9 100644 --- a/html-test/ref/TitledPicture.html +++ b/html-test/ref/TitledPicture.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -107,4 +107,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index 58b0d41c..35f9e542 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -1933,4 +1933,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index ef591716..4c6fcc74 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -385,4 +385,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/TypeOperators.html b/html-test/ref/TypeOperators.html index 766e5e36..b467e372 100644 --- a/html-test/ref/TypeOperators.html +++ b/html-test/ref/TypeOperators.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -185,4 +185,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Unicode.html b/html-test/ref/Unicode.html index 34c5d917..b5082ffc 100644 --- a/html-test/ref/Unicode.html +++ b/html-test/ref/Unicode.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -77,4 +77,4 @@ ></div ></body ></html ->
\ No newline at end of file +> diff --git a/html-test/ref/Visible.html b/html-test/ref/Visible.html index fa7f5116..97b64796 100644 --- a/html-test/ref/Visible.html +++ b/html-test/ref/Visible.html @@ -14,8 +14,8 @@ ></head ><body ><div id="package-header" - ><div class="caption empty" - ></div + ><span class="caption empty" + ></span ><ul class="links" id="page-menu" ><li ><a href="#" @@ -61,4 +61,4 @@ ></div ></body ></html ->
\ No newline at end of file +> |