next previous up contents index
Next: FILL Previous: EXPAND Up: The Commands in Detail


FILE   [filename]
FIL

This command writes the content of the workfile in a file. FILE is explained in detail in section Saving a File.


next previous up contents index
Next: FILL Previous: EXPAND Up: The Commands in Detail