gettingstarted.txt

CheckMate is a MATLAB-based tool for modeling, simulating and investigating properties of hybrid dyn

Here are a few tips to help you get started.

* Type 'AboutCheckMate' to see the version information.

* Type 'cmhelp' to launch the HTML-based on-line help.
  If the command cmhelp does not bring up the CheckMate documentation in 
  your browser, you can open the documentation by opening the file 
  ~/doc/main.htm from your browser (where ~ is the CheckMate root directory).

* The CheckMate Simulink blocks are available in the Simulink block library.

* There are two examples in the directory ~/demo where ~ denotes the
  root directory for CheckMate. To run an example, go
  to its directory and load the .mdl file. Documentation is found in the 
  CheckMate help (cmhelp).