From b8e22e7d31cc5300b01ede262ac719677ceb3d84 Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Fri, 1 Apr 2016 21:07:45 +0000 Subject: [PATCH] Cutting and pasting of selections of several slides in page mode --- 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 483f099..4fcf720 100644 --- a/devel/scheme/api/glue-auto-doc.en.tm +++ b/devel/scheme/api/glue-auto-doc.en.tm @@ -7130,6 +7130,22 @@ source code. . + <\explain> + )> + + <|explain> + Calls the function which returns + . + + + <\explain> + )> + + <|explain> + Calls the function which returns + . + + <\explain> )>