--- set ENVIRONMENT variables ----

export ASM_WB_HOME=the directory you stored the sml-asm file and the parser
                                           (untarred and unzipped!)
export PATH=$ASM_WB_HOME/bin:$PATH

----------------------------------------------------------------------
The use of emacs allows you to easily edit your sml commands and to
scroll forward (with ALT N) and backwards (with ALT P) in your command
history in order to repeat these commands.
----------------------------------------------------------------------

emacs                  -- start emacs 
ESC x shell            -- start a shell in emacs

sml-asm                -- start asm-workbench in the shell
use "load_all_smv";    -- load ml-file for transformation ASM->SMV

ASM.reset();                 -- resetting the workbench
ASM.load_file' "file.asm";   -- loading an ASM model into the workbench
                             -- this will be syntax- and type-checked
                             -- e.g., ASM.load_file "flashProtocol.asm";

ASM2SMV ("block main endblock", "file.smv");   -- transforming ASM model into
                                               -- SMV model, prints output into
                                               -- file.smv