proposed minor patches for africa, europe, northamerica

Here are some proposed minor patches for africa, europe, northamerica: * Add a mistakenly omitted autumn 1946 DST transition for Spain. * Correct the entries for France and French colonies before 1911. (I found a more authoritative source for Paris Mean Time.) * Sort country entries properly in `europe'. * Update reference to obsolescent name in `northamerica'. =================================================================== RCS file: RCS/africa,v retrieving revision 1994.8 retrieving revision 1994.8.1.1 diff -c -r1994.8 -r1994.8.1.1 *** africa 1994/12/10 16:26:04 1994.8 --- africa 1995/09/21 04:47:50 1994.8.1.1 *************** *** 15,20 **** --- 15,24 ---- # Whitman Publishing Co, 2 Niagara Av, Ealing, London (undated), which # I found in the UCLA library. # + # A reliable and entertaining source about time zones is + # Derek Howse, Greenwich time and the discovery of the longitude, + # Oxford University Press (1980). + # # I added so many Zone names that the old, mostly flat name space was unwieldy. # So I renamed the Zones to have the form AREA/LOCATION, where # AREA is the name of a continent or ocean, and *************** *** 95,104 **** Rule Algeria 1978 only - Sep 22 3:00 0 - Rule Algeria 1980 only - Apr 25 0:00 1:00 " DST" Rule Algeria 1980 only - Oct 31 2:00 0 - ! # Shanks gives 0:09 for Paris Mean Time; go with Whitman's more precise 0:09:05. # Zone NAME GMTOFF RULES FORMAT [UNTIL] Zone Africa/Algiers 0:12:12 - LMT 1891 Mar 15 0:01 ! 0:09:05 - PMT 1911 Mar 11 # Paris Mean Time 0:00 Algeria WET%s 1940 Feb 25 2:00 1:00 Algeria MET%s 1946 Oct 7 0:00 - WET 1956 Jan 29 --- 99,108 ---- Rule Algeria 1978 only - Sep 22 3:00 0 - Rule Algeria 1980 only - Apr 25 0:00 1:00 " DST" Rule Algeria 1980 only - Oct 31 2:00 0 - ! # Shanks gives 0:09 for Paris Mean Time; go with Howse's more precise 0:09:21. # Zone NAME GMTOFF RULES FORMAT [UNTIL] Zone Africa/Algiers 0:12:12 - LMT 1891 Mar 15 0:01 ! 0:09:21 - PMT 1911 Mar 11 # Paris Mean Time 0:00 Algeria WET%s 1940 Feb 25 2:00 1:00 Algeria MET%s 1946 Oct 7 0:00 - WET 1956 Jan 29 *************** *** 303,311 **** # From Paul Eggert <eggert@twinsun.com> (November 18, 1993): # In 1972 Liberia was the last country to switch # from a GMT offset that was not a multiple of 15 minutes. ! # Time magazine reported that it was in honor of their leader's birthday. ! # For Liberia before 1972, Shanks reports -0:44, and Whitman reports -0:44:30; ! # go with Whitman. # # From Shanks (1991), as corrected by Whitman: # Zone NAME GMTOFF RULES FORMAT [UNTIL] --- 307,316 ---- # From Paul Eggert <eggert@twinsun.com> (November 18, 1993): # In 1972 Liberia was the last country to switch # from a GMT offset that was not a multiple of 15 minutes. ! # Howse reports that it was in honor of their president's birthday. ! # Shanks reports the date as May 1, whereas Howse reports Jan; go with Shanks. ! # For Liberia before 1972, Shanks reports -0:44, whereas Howse and Whitman ! # each report -0:44:30; go with the more precise figure. # # From Shanks (1991), as corrected by Whitman: # Zone NAME GMTOFF RULES FORMAT [UNTIL] *************** *** 571,580 **** Rule Tunisia 1989 only - Mar 26 0:00s 1:00 " DST" Rule Tunisia 1990 only - May 1 0:00s 1:00 " DST" Rule Tunisia 1991 max - Mar lastSun 0:00s 1:00 " DST" ! # Shanks gives 0:09 for Paris Mean Time; go with Whitman's more precise 0:09:05. # Zone NAME GMTOFF RULES FORMAT [UNTIL] Zone Africa/Tunis 0:40:44 - LMT 1881 May 12 ! 0:09:05 - PMT 1911 Mar 9 # Paris Mean Time 1:00 Tunisia MET%s # Uganda --- 576,586 ---- Rule Tunisia 1989 only - Mar 26 0:00s 1:00 " DST" Rule Tunisia 1990 only - May 1 0:00s 1:00 " DST" Rule Tunisia 1991 max - Mar lastSun 0:00s 1:00 " DST" ! # Shanks gives 0:09 for Paris Mean Time; go with Howse's more precise 0:09:21. ! # Shanks says the 1911 switch occurred on Mar 9; go with Howse's Mar 11. # Zone NAME GMTOFF RULES FORMAT [UNTIL] Zone Africa/Tunis 0:40:44 - LMT 1881 May 12 ! 0:09:21 - PMT 1911 Mar 11 # Paris Mean Time 1:00 Tunisia MET%s # Uganda =================================================================== RCS file: RCS/europe,v retrieving revision 1995.3 retrieving revision 1995.3.1.1 diff -c -r1995.3 -r1995.3.1.1 *** europe 1995/07/02 23:19:23 1995.3 --- europe 1995/09/21 04:47:50 1995.3.1.1 *************** *** 1135,1144 **** Rule France 1975 only - Sep 22 2:00s 0 - Rule France 1976 only - Mar 28 2:00s 1:00 " DST" Rule France 1976 only - Sep lastSun 2:00s 0 - ! # Shanks gives 0:09 for Paris Mean Time; go with Whitman's more precise 0:09:05. # Zone NAME GMTOFF RULES FORMAT [UNTIL] ! Zone Europe/Paris 0:09:05 - LMT 1891 Mar 15 0:01 ! 0:09:05 - PMT 1911 Mar 11 # Paris Mean Time 0:00 France WET%s 1940 Jun 14 1:00 M-Eur MET%s 1944 Aug 25 0:00 France WET%s 1945 Sep 16 3:00 --- 1135,1147 ---- Rule France 1975 only - Sep 22 2:00s 0 - Rule France 1976 only - Mar 28 2:00s 1:00 " DST" Rule France 1976 only - Sep lastSun 2:00s 0 - ! # Shanks gives 0:09 for Paris Mean Time, and Whitman gives 0:09:05, ! # but Howse quotes the actual French legislation as saying 0:09:21. ! # Go with Howse. Howse writes that the time in France was officially based ! # on PMT-0:09:21 until 1978-08-09, when the time base finally switched to UTC. # Zone NAME GMTOFF RULES FORMAT [UNTIL] ! Zone Europe/Paris 0:09:21 - LMT 1891 Mar 15 0:01 ! 0:09:21 - PMT 1911 Mar 11 # Paris Mean Time 0:00 France WET%s 1940 Jun 14 1:00 M-Eur MET%s 1944 Aug 25 0:00 France WET%s 1945 Sep 16 3:00 *************** *** 1466,1480 **** # This may change to `EC' soon. # Monaco ! # Shanks gives 0:09 for Paris Mean Time; go with Whitman's more precise 0:09:05. # Zone NAME GMTOFF RULES FORMAT [UNTIL] Zone Europe/Monaco 0:29:32 - LMT 1891 Mar 15 ! 0:09:05 - PMT 1911 Mar 11 # Paris Mean Time 0:00 France WET%s 1945 Sep 16 3:00 1:00 France MET%s 1977 1:00 EC MET%s # Netherlands # Rule NAME FROM TO TYPE IN ON AT SAVE LETTER/S Rule Neth 1892 only - May 1 0:00 0 AMT # Shanks gives 1916 May 1 0:00 and 1916 Oct 1 0:00; go with Whitman. --- 1469,1485 ---- # This may change to `EC' soon. # Monaco ! # Shanks gives 0:09 for Paris Mean Time; go with Howse's more precise 0:09:21. # Zone NAME GMTOFF RULES FORMAT [UNTIL] Zone Europe/Monaco 0:29:32 - LMT 1891 Mar 15 ! 0:09:21 - PMT 1911 Mar 11 # Paris Mean Time 0:00 France WET%s 1945 Sep 16 3:00 1:00 France MET%s 1977 1:00 EC MET%s # Netherlands + # Howse writes that the Netherlands' railways used GMT between 1892 and 1940, + # but for other purposes the Netherlands used Amsterdam mean time. # Rule NAME FROM TO TYPE IN ON AT SAVE LETTER/S Rule Neth 1892 only - May 1 0:00 0 AMT # Shanks gives 1916 May 1 0:00 and 1916 Oct 1 0:00; go with Whitman. *************** *** 1663,1671 **** 0:00 Port WET%s 1983 Sep 25 1:00s 0:00 EC WET%s - # Slovakia - Link Europe/Prague Europe/Bratislava - # Romania # Catholic Romania switched from the Julian to the Gregorian calendar on # on 1919 Mar 18. Greek Orthodox Romania switched on 1920 Mar 18. --- 1668,1673 ---- *************** *** 1786,1800 **** 12:00 - ASK 1992 Jan 19 2:00s 13:00 Russia AS%s ! # Yugoslavia (what's left of it -- mostly Serbia) ! # They switched from the Julian to the Gregorian calendar on 1918 Mar 18. ! # Zone NAME GMTOFF RULES FORMAT [UNTIL] ! Zone Europe/Belgrade 1:22:00 - LMT 1884 ! 1:00 - MET 1941 Apr 18 23:00 ! 1:00 M-Eur MET%s 1945 May 8 2:00s ! 1:00 1:00 "MET DST" 1945 Sep 16 2:00s ! 1:00 - MET 1983 ! 1:00 EC MET%s # Slovenia # They switched from the Julian to the Gregorian calendar on 1918 Mar 18. --- 1788,1795 ---- 12:00 - ASK 1992 Jan 19 2:00s 13:00 Russia AS%s ! # Slovakia ! Link Europe/Prague Europe/Bratislava # Slovenia # They switched from the Julian to the Gregorian calendar on 1918 Mar 18. *************** *** 1837,1842 **** --- 1832,1838 ---- Rule Spain 1943 only - Oct 3 22:00s 1:00 " DST" Rule Spain 1944 only - Oct 10 22:00s 1:00 " DST" Rule Spain 1945 only - Sep 30 1:00 1:00 " DST" + Rule Spain 1946 only - Sep 30 0:00 0 - Rule Spain 1949 only - Apr 30 23:00 1:00 " DST" Rule Spain 1949 only - Sep 30 1:00 0 - Rule Spain 1974 1975 - Apr Sat>=13 23:00 1:00 " DST" *************** *** 1979,1984 **** --- 1975,1990 ---- # For now, we'll guess that there was a 2-hour leap forward on March 27. 2:00 M-Eur EET%s 1994 Mar 27 2:00s 3:00 Russia MS%s + + # Yugoslavia + # They switched from the Julian to the Gregorian calendar on 1918 Mar 18. + # Zone NAME GMTOFF RULES FORMAT [UNTIL] + Zone Europe/Belgrade 1:22:00 - LMT 1884 + 1:00 - MET 1941 Apr 18 23:00 + 1:00 M-Eur MET%s 1945 May 8 2:00s + 1:00 1:00 "MET DST" 1945 Sep 16 2:00s + 1:00 - MET 1983 + 1:00 EC MET%s ############################################################################### =================================================================== RCS file: RCS/northamerica,v retrieving revision 1995.2 retrieving revision 1995.2.1.1 diff -c -r1995.2 -r1995.2.1.1 *** northamerica 1995/02/21 15:43:20 1995.2 --- northamerica 1995/09/21 04:47:50 1995.2.1.1 *************** *** 193,199 **** -10:00 - HST # Navassa ! # no information; probably like US/Eastern # Old names, for S5 users --- 193,199 ---- -10:00 - HST # Navassa ! # no information; probably like America/New_York # Old names, for S5 users
participants (1)
-
Paul Eggert