list of commands in "<cmd>") to a file.
7. Add a new command "echo" which echos its argument to the screen (useful
for titling in the save command above.
list of commands in "<cmd>") to a file.
7. Add a new command "echo" which echos its argument to the screen (useful
for titling in the save command above.
02Jan02=======================================================================
1. updated the copyright dates
2. modernised and extended the Windows instructions a bit.
02Jan02=======================================================================
1. updated the copyright dates
2. modernised and extended the Windows instructions a bit.