z_libraries - This directory contains the libraries necessary to parse and type check the models.
style_files - This directory contains the LaTeX style files necessary to compile the models.
	The file functions.tex is necessary for the correct type checking of the examples that use functions. For those examples,
	include in the GUI the library functions. All these files need to be in the same directory as the specification for the type
	checking to be correctly done.
lib - This directory contains the necessary java libraries.

To start the tool:

Double click the file S2CGUI.jar

or

Write "java -jar S2CGUI.jar" and press enter in a command prompt.

Please report any issues and questions to alvarohm at cs.york.ac.uk

---------------------Limitations-------------------------------------------------------
This tool assumes that all the state, function, data and event names are
different.


