JeqlVersion.java

package jeql;

public class JeqlVersion 
{
  public static final String VERSION  = "0.11";

  public static final String COPYRIGHT 
  = "Jeql " + VERSION + " ---- (c) 2007-2011 Martin Davis";

  public static final String COPYRIGHT_JAVAVER 
    = COPYRIGHT + " ---- Java " + System.getProperty("java.version");
  
}