Dictionary Manipulation

Most of the dictionary manipulation is achieved using assignment statements but it is sometimes useful to be able to delete names. This is possible using

.ERASE <name>

It is often useful to list contents of the dictionary and this is possible using

.SHOW <name>

which will list all names and their assignments which match the template given.

In both .ERASE and .SHOW, <name> can contain wild characters * or ?.

The command

.ERASE *

can be used to clear all the entries and start again with just the few default definitions supplied by the system.

The command

.SAVE <filename>

will save all the current symbolic assignments on the specified file.

The complementary command

.RESTORE <filename>

will restore the contents of the dictionary from the specified file. These commands can be used to save and restore the contents of the dictionary.