Contents
specJava        - script to start SpecTcl in "java" mode
specTcl         - script to start SpecTcl in "tcl/tk" mode
