=======================================================
E D I T I N G   O F   S Y S T E M   P A R A M E T E R S
=======================================================

This file includes the instructions for the editing of system
parameters, which are stored in the "st/db/params.txt" file.


-= Launching the parameter editor =-

The editing tool consists of two files, params.exe and params.edt,
which are available at the following locations:

www.cs.cmu.edu/~eugene/Radar/Tools/Params/params.exe
www.cs.cmu.edu/~eugene/Radar/Tools/Params/params.edt

To install the tool, copy "params.exe" into the "st/" directory of
Space-Time Module, and "params.edt" into "st/db/". If you later need
to uninstall it, remove these files. To run this tool, double-click
"params.exe"; alternatively, you may open a command-prompt window, go
to the "st/" directory, and type "params.exe".


-= Using the parameter editor =-

After starting the tool, open a file with system parameters. The
default parameter file is "st/db/params.txt", but you may also open
other files with the same format.

The tool shows the list of parameter values in the main pane. You may
select a parameter, and then change its value and related comments in
the small windows on the right. If you then click "Change Value and
Comments," the tool will remember your changes; if not, it will
discard the changes. When you are ready to save the changes into a
file, click "Save" or "Save As..." If you mark the "backup" check-box,
the system will keep the backup of the original file.

When you are editing a parameter, the system shows the restrictions on
the allowed values, and it does not accept values that violate these
restrictions. We define restrictions in the "params.edt" file, and you
may change them by editing this file; note that "params.txt" is an
ASCII file, and you can use any editor to modify it.