diff options
Diffstat (limited to 'html-test/ref')
| -rw-r--r-- | html-test/ref/Extensions.html | 2 | ||||
| -rw-r--r-- | html-test/ref/Test.html | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/html-test/ref/Extensions.html b/html-test/ref/Extensions.html index 82fd732f..382083c3 100644 --- a/html-test/ref/Extensions.html +++ b/html-test/ref/Extensions.html @@ -47,7 +47,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Extensions.html");}; ><th >Extensions</th ><td - >TypeHoles</td + >ExplicitForAll</td ></tr ></table ><p class="caption" diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html index 02146623..bd447ea1 100644 --- a/html-test/ref/Test.html +++ b/html-test/ref/Test.html @@ -41,7 +41,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Test.html");}; ><th >License</th ><td - >(c) Simon Marlow 2002</td + >BSD-style</td ></tr ><tr ><th |