diff options
Diffstat (limited to 'html-test/ref/TypeFamilies.html')
| -rw-r--r-- | html-test/ref/TypeFamilies.html | 36 |
1 files changed, 18 insertions, 18 deletions
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html index b501a9a0..492b7ec1 100644 --- a/html-test/ref/TypeFamilies.html +++ b/html-test/ref/TypeFamilies.html @@ -224,11 +224,11 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:id:X:-62--60-:1" ></span - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XX</a > <a href="#" title="TypeFamilies" >><</a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XXX</a ></span > <a href="#" class="selflink" @@ -386,11 +386,11 @@ ></span > <span class="keyword" >type</span - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XXX</a > <a href="#" title="TypeFamilies" ><></a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XX</a ></span > <a href="#" class="selflink" @@ -411,13 +411,13 @@ > <div class="src" ><span class="keyword" >type</span - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XXX</a > <a href="#" title="TypeFamilies" ><></a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XX</a - > = <a href="#" title="TypeFamilies" + > = '<a href="#" title="TypeFamilies" >X</a ></div ></details @@ -1115,7 +1115,7 @@ >Z</a > -> <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >ZA</a ></li ><li class="inst" @@ -1127,7 +1127,7 @@ >Z</a >). {..} -> <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >ZB</a ></li ></ul @@ -1401,7 +1401,7 @@ >Z</a > -> <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >ZA</a ></li ><li class="inst" @@ -1413,7 +1413,7 @@ >Z</a >). {..} -> <a href="#" title="TypeFamilies" >Bat</a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >ZB</a ></li ></ul @@ -1770,11 +1770,11 @@ ></span > <span class="keyword" >type</span - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XXX</a > <a href="#" title="TypeFamilies" ><></a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XX</a ></span > <a href="#" class="selflink" @@ -1795,13 +1795,13 @@ > <div class="src" ><span class="keyword" >type</span - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XXX</a > <a href="#" title="TypeFamilies" ><></a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XX</a - > = <a href="#" title="TypeFamilies" + > = '<a href="#" title="TypeFamilies" >X</a ></div ></details @@ -1918,11 +1918,11 @@ ><span class="inst-left" ><span class="instance details-toggle-control details-toggle" data-details-id="i:ic:-62--60-:-62--60-:1" ></span - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XX</a > <a href="#" title="TypeFamilies" >><</a - > <a href="#" title="TypeFamilies" + > '<a href="#" title="TypeFamilies" >XXX</a ></span > <a href="#" class="selflink" |