Usage of the Software for the COSY Environment

Step 1:

First of all, we need to type sml at the unix prompt until `-' appears. Then, run (``use'') file ``build.sml'' load all the files including signatures and functors. This will take a while.

               - use "build.sml";

Inside the file ``build.sml'', we ``use'' all the signatures and functors. We also create structures for the COSY environment. Finally, we open some structures in order to be convenient to the users.

Step 2:

After the step 1 completes, we can use the command parser_csr_expand to either run any existing COSY program from a file or run a long string of a COSY program which we just typed. For example:

               - parser_csr_expand (file "filename");
          or
               - parser_csr_expand name_of_string;