diff options
Diffstat (limited to 'html-test/ref/FunArgs.html')
-rw-r--r-- | html-test/ref/FunArgs.html | 27 |
1 files changed, 9 insertions, 18 deletions
diff --git a/html-test/ref/FunArgs.html b/html-test/ref/FunArgs.html index c8c6a25d..48e6dc80 100644 --- a/html-test/ref/FunArgs.html +++ b/html-test/ref/FunArgs.html @@ -70,8 +70,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_FunArgs.html");}; ></td ><td class="doc" ><p - >First argument -</p + >First argument</p ></td ></tr ><tr @@ -79,8 +78,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_FunArgs.html");}; >-> a</td ><td class="doc" ><p - >Second argument -</p + >Second argument</p ></td ></tr ><tr @@ -90,8 +88,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_FunArgs.html");}; ></td ><td class="doc" ><p - >Third argument -</p + >Third argument</p ></td ></tr ><tr @@ -99,8 +96,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_FunArgs.html");}; >-> (a -> a)</td ><td class="doc" ><p - >Fourth argument -</p + >Fourth argument</p ></td ></tr ><tr @@ -108,8 +104,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_FunArgs.html");}; >-> ()</td ><td class="doc" ><p - >Result -</p + >Result</p ></td ></tr ></table @@ -129,8 +124,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_FunArgs.html");}; >:: a</td ><td class="doc" ><p - >First argument -</p + >First argument</p ></td ></tr ><tr @@ -138,8 +132,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_FunArgs.html");}; >-> b</td ><td class="doc" ><p - >Second argument -</p + >Second argument</p ></td ></tr ><tr @@ -147,8 +140,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_FunArgs.html");}; >-> c</td ><td class="doc" ><p - >Third argument -</p + >Third argument</p ></td ></tr ><tr @@ -156,8 +148,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_FunArgs.html");}; >-> d</td ><td class="doc" ><p - >Result -</p + >Result</p ></td ></tr ></table |