← Back to branch summary

~yrke/tapaal/tapaal-fix1764383-java9macoslookandfeel

« back to all changes in this revision

Viewing changes to src/net/tapaal/TAPAAL.java

  • Committer: Jiri Srba
  • Date: 2018-01-18 20:13:30 UTC
  • Revision ID: srba.jiri@gmail.com-20180118201330-9t51x3va04zn5cmj
changed to version number 3.4.0

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/net/tapaal/TAPAAL.java
24
24
         */
25
25
        
26
26
        public static final String TOOLNAME = "TAPAAL";
27
 
        public static final String VERSION = "DEV"; 
 
27
        public static final String VERSION = "3.4.0"; 
28
28
 
29
29
        public static String getProgramName(){
30
30
                return "" + TAPAAL.TOOLNAME + " " + TAPAAL.VERSION;