← Back to branch summary

~tapaal-contributor/tapaal/token-truncation-bug-1918913

« back to all changes in this revision

Viewing changes to src/pipe/gui/Pipe.java

  • Committer: lsaid
  • Date: 2021-04-04 09:31:58 UTC
  • mfrom: (1121.2.4 tapaal)
  • Revision ID: lena.said@hotmail.com-20210404093158-urld4cua9gemwntd
Merged with trunk

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/pipe/gui/Pipe.java
79
79
        public static final String verifytaMinRev = "4.1.19";
80
80
        public static final String verifytapnMinRev = "1.3.0";
81
81
        public static final String verifydtapnMinRev = "3.4.1";
82
 
        public static final String verifypnMinRev = "3.1.1";
 
82
        public static final String verifypnMinRev = "4.0.0";
83
83
        public static final int AGE_DECIMAL_PRECISION = 5;
84
84
        public static final int AGE_PRECISION = AGE_DECIMAL_PRECISION + 4;
85
85