From 50d3ea544c23ea07088cbe62f6e9663cc643157c Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Mon, 19 Oct 2020 11:37:02 +0000 Subject: [PATCH] Further fine-tuning for Html export --- devel/scheme/api/glue-auto-doc.en.tm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/devel/scheme/api/glue-auto-doc.en.tm b/devel/scheme/api/glue-auto-doc.en.tm index c133b11..7a4f421 100644 --- a/devel/scheme/api/glue-auto-doc.en.tm +++ b/devel/scheme/api/glue-auto-doc.en.tm @@ -6794,6 +6794,30 @@ source code. . + <\explain> + )> + + <|explain> + Calls the function which returns + . + + + <\explain> + )> + + <|explain> + Calls the function which returns + . + + + <\explain> + )> + + <|explain> + Calls the function which returns + . + + <\explain> )>