From 8136d072a123546e0e4623f35137310ee15c0ace Mon Sep 17 00:00:00 2001 From: Joris van der Hoeven Date: Sat, 7 Nov 2020 10:07:24 +0000 Subject: [PATCH] Make new reference editing routines project-aware --- 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 9c833e5..143f595 100644 --- a/devel/scheme/api/glue-auto-doc.en.tm +++ b/devel/scheme/api/glue-auto-doc.en.tm @@ -6698,6 +6698,14 @@ source code. . + <\explain> + )> + + <|explain> + Calls the function which returns + . + + <\explain> )> @@ -6730,6 +6738,14 @@ source code. . + <\explain> + )> + + <|explain> + Calls the function which returns + . + + <\explain> )> @@ -6762,6 +6778,14 @@ source code. . + <\explain> + )> + + <|explain> + Calls the function which returns + . + + <\explain> )>