536 # From Paul Eggert (2018-02-15):
537 # In January 2018 we discovered that the negative SAVE values in the
538 # Eire rules cause problems with tests for ICU:
539 # https://mm.icann.org/pipermail/tz/2018-January/025825.html
540 # and with tests for OpenJDK:
541 # https://mm.icann.org/pipermail/tz/2018-January/025822.html
542 #
543 # To work around this problem, the build procedure can translate the
544 # following data into two forms, one with negative SAVE values and the
545 # other form with a traditional approximation for Irish timestamps
546 # after 1971-10-31 02:00 UTC; although this approximation has tm_isdst
547 # flags that are reversed, its UTC offsets are correct and this often
548 # suffices. This source file currently uses only nonnegative SAVE
549 # values, but this is intended to change and downstream code should
550 # not rely on it.
551 #
552 # The following is like GB-Eire and EU, except with standard time in
553 # summer and negative daylight saving time in winter. It is for when
554 # negative SAVE values are used.
555 # Rule NAME FROM TO TYPE IN ON AT SAVE LETTER/S
556 #Rule Eire 1971 only - Oct 31 2:00u -1:00 -
557 #Rule Eire 1972 1980 - Mar Sun>=16 2:00u 0 -
558 #Rule Eire 1972 1980 - Oct Sun>=23 2:00u -1:00 -
559 #Rule Eire 1981 max - Mar lastSun 1:00u 0 -
560 #Rule Eire 1981 1989 - Oct Sun>=23 1:00u -1:00 -
561 #Rule Eire 1990 1995 - Oct Sun>=22 1:00u -1:00 -
562 #Rule Eire 1996 max - Oct lastSun 1:00u -1:00 -
563
564 # Zone NAME GMTOFF RULES FORMAT [UNTIL]
565 Zone Europe/Dublin -0:25:00 - LMT 1880 Aug 2
566 -0:25:21 - DMT 1916 May 21 2:00s
567 -0:25:21 1:00 IST 1916 Oct 1 2:00s
568 0:00 GB-Eire %s 1921 Dec 6 # independence
569 0:00 GB-Eire GMT/IST 1940 Feb 25 2:00s
570 0:00 1:00 IST 1946 Oct 6 2:00s
571 0:00 - GMT 1947 Mar 16 2:00s
572 0:00 1:00 IST 1947 Nov 2 2:00s
573 0:00 - GMT 1948 Apr 18 2:00s
574 0:00 GB-Eire GMT/IST 1968 Oct 27
575 # The next line is for when negative SAVE values are used.
576 # 1:00 Eire IST/GMT
577 # These three lines are for when SAVE values are always nonnegative.
578 1:00 - IST 1971 Oct 31 2:00u
579 0:00 GB-Eire GMT/IST 1996
580 0:00 EU GMT/IST
581
582
583 ###############################################################################
584
585 # Europe
586
587 # The following rules are for the European Union and for its
588 # predecessor organization, the European Communities.
589 # For brevity they are called "EU rules" elsewhere in this file.
590
591 # Rule NAME FROM TO TYPE IN ON AT SAVE LETTER/S
592 Rule EU 1977 1980 - Apr Sun>=1 1:00u 1:00 S
593 Rule EU 1977 only - Sep lastSun 1:00u 0 -
594 Rule EU 1978 only - Oct 1 1:00u 0 -
595 Rule EU 1979 1995 - Sep lastSun 1:00u 0 -
596 Rule EU 1981 max - Mar lastSun 1:00u 1:00 S
597 Rule EU 1996 max - Oct lastSun 1:00u 0 -
598 # The most recent directive covers the years starting in 2002. See:
599 # Directive 2000/84/EC of the European Parliament and of the Council
600 # of 19 January 2001 on summer-time arrangements.
998 #
999 # From Paul Eggert (2018-04-15):
1000 # The source for Czech data is: Kdy začíná a končí letní čas. 2018-04-15.
1001 # https://kalendar.beda.cz/kdy-zacina-a-konci-letni-cas
1002 # We know of no English-language name for historical Czech winter time;
1003 # abbreviate it as "GMT", as it happened to be GMT.
1004 #
1005 # Rule NAME FROM TO TYPE IN ON AT SAVE LETTER/S
1006 Rule Czech 1945 only - Apr Mon>=1 2:00s 1:00 S
1007 Rule Czech 1945 only - Oct 1 2:00s 0 -
1008 Rule Czech 1946 only - May 6 2:00s 1:00 S
1009 Rule Czech 1946 1949 - Oct Sun>=1 2:00s 0 -
1010 Rule Czech 1947 1948 - Apr Sun>=15 2:00s 1:00 S
1011 Rule Czech 1949 only - Apr 9 2:00s 1:00 S
1012 # Zone NAME GMTOFF RULES FORMAT [UNTIL]
1013 Zone Europe/Prague 0:57:44 - LMT 1850
1014 0:57:44 - PMT 1891 Oct # Prague Mean Time
1015 1:00 C-Eur CE%sT 1945 May 9
1016 1:00 Czech CE%sT 1946 Dec 1 3:00
1017 # Vanguard section, for zic and other parsers that support negative DST.
1018 # 1:00 -1:00 GMT 1947 Feb 23 2:00
1019 # Rearguard section, for parsers that do not support negative DST.
1020 0:00 - GMT 1947 Feb 23 2:00
1021 # End of rearguard section.
1022 1:00 Czech CE%sT 1979
1023 1:00 EU CE%sT
1024 # Use Europe/Prague also for Slovakia.
1025
1026 # Denmark, Faroe Islands, and Greenland
1027
1028 # From Jesper Nørgaard Welen (2005-04-26):
1029 # http://www.hum.aau.dk/~poe/tid/tine/DanskTid.htm says that the law
1030 # [introducing standard time] was in effect from 1894-01-01....
1031 # The page http://www.retsinfo.dk/_GETDOCI_/ACCN/A18930008330-REGL
1032 # confirms this, and states that the law was put forth 1893-03-29.
1033 #
1034 # The EU [actually, EEC and Euratom] treaty with effect from 1973:
1035 # http://www.retsinfo.dk/_GETDOCI_/ACCN/A19722110030-REGL
1036 #
1037 # This provoked a new law from 1974 to make possible summer time changes
1038 # in subsequent decrees with the law
1039 # http://www.retsinfo.dk/_GETDOCI_/ACCN/A19740022330-REGL
1040 #
|
536 # From Paul Eggert (2018-02-15):
537 # In January 2018 we discovered that the negative SAVE values in the
538 # Eire rules cause problems with tests for ICU:
539 # https://mm.icann.org/pipermail/tz/2018-January/025825.html
540 # and with tests for OpenJDK:
541 # https://mm.icann.org/pipermail/tz/2018-January/025822.html
542 #
543 # To work around this problem, the build procedure can translate the
544 # following data into two forms, one with negative SAVE values and the
545 # other form with a traditional approximation for Irish timestamps
546 # after 1971-10-31 02:00 UTC; although this approximation has tm_isdst
547 # flags that are reversed, its UTC offsets are correct and this often
548 # suffices. This source file currently uses only nonnegative SAVE
549 # values, but this is intended to change and downstream code should
550 # not rely on it.
551 #
552 # The following is like GB-Eire and EU, except with standard time in
553 # summer and negative daylight saving time in winter. It is for when
554 # negative SAVE values are used.
555 # Rule NAME FROM TO TYPE IN ON AT SAVE LETTER/S
556 Rule Eire 1971 only - Oct 31 2:00u -1:00 -
557 Rule Eire 1972 1980 - Mar Sun>=16 2:00u 0 -
558 Rule Eire 1972 1980 - Oct Sun>=23 2:00u -1:00 -
559 Rule Eire 1981 max - Mar lastSun 1:00u 0 -
560 Rule Eire 1981 1989 - Oct Sun>=23 1:00u -1:00 -
561 Rule Eire 1990 1995 - Oct Sun>=22 1:00u -1:00 -
562 Rule Eire 1996 max - Oct lastSun 1:00u -1:00 -
563
564 # Zone NAME GMTOFF RULES FORMAT [UNTIL]
565 Zone Europe/Dublin -0:25:00 - LMT 1880 Aug 2
566 -0:25:21 - DMT 1916 May 21 2:00s
567 -0:25:21 1:00 IST 1916 Oct 1 2:00s
568 0:00 GB-Eire %s 1921 Dec 6 # independence
569 0:00 GB-Eire GMT/IST 1940 Feb 25 2:00s
570 0:00 1:00 IST 1946 Oct 6 2:00s
571 0:00 - GMT 1947 Mar 16 2:00s
572 0:00 1:00 IST 1947 Nov 2 2:00s
573 0:00 - GMT 1948 Apr 18 2:00s
574 0:00 GB-Eire GMT/IST 1968 Oct 27
575 # The next line is for when negative SAVE values are used.
576 1:00 Eire IST/GMT
577 # These three lines are for when SAVE values are always nonnegative.
578 # 1:00 - IST 1971 Oct 31 2:00u
579 # 0:00 GB-Eire GMT/IST 1996
580 # 0:00 EU GMT/IST
581
582
583 ###############################################################################
584
585 # Europe
586
587 # The following rules are for the European Union and for its
588 # predecessor organization, the European Communities.
589 # For brevity they are called "EU rules" elsewhere in this file.
590
591 # Rule NAME FROM TO TYPE IN ON AT SAVE LETTER/S
592 Rule EU 1977 1980 - Apr Sun>=1 1:00u 1:00 S
593 Rule EU 1977 only - Sep lastSun 1:00u 0 -
594 Rule EU 1978 only - Oct 1 1:00u 0 -
595 Rule EU 1979 1995 - Sep lastSun 1:00u 0 -
596 Rule EU 1981 max - Mar lastSun 1:00u 1:00 S
597 Rule EU 1996 max - Oct lastSun 1:00u 0 -
598 # The most recent directive covers the years starting in 2002. See:
599 # Directive 2000/84/EC of the European Parliament and of the Council
600 # of 19 January 2001 on summer-time arrangements.
998 #
999 # From Paul Eggert (2018-04-15):
1000 # The source for Czech data is: Kdy začíná a končí letní čas. 2018-04-15.
1001 # https://kalendar.beda.cz/kdy-zacina-a-konci-letni-cas
1002 # We know of no English-language name for historical Czech winter time;
1003 # abbreviate it as "GMT", as it happened to be GMT.
1004 #
1005 # Rule NAME FROM TO TYPE IN ON AT SAVE LETTER/S
1006 Rule Czech 1945 only - Apr Mon>=1 2:00s 1:00 S
1007 Rule Czech 1945 only - Oct 1 2:00s 0 -
1008 Rule Czech 1946 only - May 6 2:00s 1:00 S
1009 Rule Czech 1946 1949 - Oct Sun>=1 2:00s 0 -
1010 Rule Czech 1947 1948 - Apr Sun>=15 2:00s 1:00 S
1011 Rule Czech 1949 only - Apr 9 2:00s 1:00 S
1012 # Zone NAME GMTOFF RULES FORMAT [UNTIL]
1013 Zone Europe/Prague 0:57:44 - LMT 1850
1014 0:57:44 - PMT 1891 Oct # Prague Mean Time
1015 1:00 C-Eur CE%sT 1945 May 9
1016 1:00 Czech CE%sT 1946 Dec 1 3:00
1017 # Vanguard section, for zic and other parsers that support negative DST.
1018 1:00 -1:00 GMT 1947 Feb 23 2:00
1019 # Rearguard section, for parsers that do not support negative DST.
1020 # 0:00 - GMT 1947 Feb 23 2:00
1021 # End of rearguard section.
1022 1:00 Czech CE%sT 1979
1023 1:00 EU CE%sT
1024 # Use Europe/Prague also for Slovakia.
1025
1026 # Denmark, Faroe Islands, and Greenland
1027
1028 # From Jesper Nørgaard Welen (2005-04-26):
1029 # http://www.hum.aau.dk/~poe/tid/tine/DanskTid.htm says that the law
1030 # [introducing standard time] was in effect from 1894-01-01....
1031 # The page http://www.retsinfo.dk/_GETDOCI_/ACCN/A18930008330-REGL
1032 # confirms this, and states that the law was put forth 1893-03-29.
1033 #
1034 # The EU [actually, EEC and Euratom] treaty with effect from 1973:
1035 # http://www.retsinfo.dk/_GETDOCI_/ACCN/A19722110030-REGL
1036 #
1037 # This provoked a new law from 1974 to make possible summer time changes
1038 # in subsequent decrees with the law
1039 # http://www.retsinfo.dk/_GETDOCI_/ACCN/A19740022330-REGL
1040 #
|