From fb5bd32366df2ddd40436dcf6b9d02c21c8e213e Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Tue, 7 Mar 2017 14:17:32 +0000 Subject: [PATCH] Better sorting of accented characters --- devel/scheme/api/glue-auto-doc.en.tm | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/devel/scheme/api/glue-auto-doc.en.tm b/devel/scheme/api/glue-auto-doc.en.tm index cee26cd..52b057c 100644 --- a/devel/scheme/api/glue-auto-doc.en.tm +++ b/devel/scheme/api/glue-auto-doc.en.tm @@ -3034,6 +3034,22 @@ source code. . + <\explain> + )> + + <|explain> + Calls the function which returns + . + + + <\explain> + )> + + <|explain> + Calls the function which returns + . + + <\explain> )>