initial 1.3.0

This commit is contained in:
2019-05-01 17:46:38 -04:00
commit ad86bc2a30
418 changed files with 34837 additions and 0 deletions

17
help/allow_menu.html Normal file
View File

@@ -0,0 +1,17 @@
<HTML>
<HEAD>
<TITLE>allow.menu</TITLE></HEAD>
<BODY>
<h1>allow.menu</h1>
<B>Category</B><p>
<a href="extra_commands.html">Extra commands</a><p>
<B>Syntax</B><p>
<p>
allow.menu(A);<p>
<B>Description</B><p>
<p>
This command determines whether the menu is activated or not.<p>
If A = 0 then the menu is turned off.<br>
If A = 1 then the menu is turned on.<p>
<B>See also</B><p>
</BODY></HTML>