1 04/06/84  delete_external_variables, dev
 2 
 3 Syntax:  dev names {-control_arg}
 4 
 5 
 6 Function:  deletes from your name space specified variables managed by
 7 the system for you.  All links to those variables are unsnapped and
 8 their storage is freed.
 9 
10 
11 Arguments:
12 names
13    are the names of the external variables, separated by spaces, to be
14    deleted.
15 
16 
17 
18 Control arguments:
19 -unlabeled_common, -uc
20    indicates unlabeled (or blank) common.