From 47c0a52e614d01eb251da9301c2961338141ab6c Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 29 Jun 2022 22:38:29 -0400 Subject: Editing continues, with some deletions this time --- docs/help/export.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/help') diff --git a/docs/help/export.html b/docs/help/export.html index a693a7a6..cf213787 100644 --- a/docs/help/export.html +++ b/docs/help/export.html @@ -6,7 +6,7 @@

Leftward Double Arrow ()

n v: Export Definition

-

→full documentation

+

→full documentation

Define a variable with name n and export it from the current namespace.

↗️
    ns  { exported  5, unexported  0}
     ns.exported
@@ -15,7 +15,7 @@
 Error: No key found
 

n : Export names

-

→full documentation

+

→full documentation

Export the names given in n from the current namespace. Names must be defined somewhere in the scope.

↗️
    ns1  { alsoexported, exported  5, alsoexported  0}
     ns1.exported
-- 
cgit v1.2.3