package prism;

public class Version
{
	/** PRISM version (e.g. "4.0.3"). Just a single string (will be extracted by scripts). */
	public static String versionString = "4.2";
	/** Optional PRISM version suffix (e.g. "dev", "beta"). Just a single string (will be extracted by scripts). */
	public static String versionSuffixString = "beta1";
}
