From e8ac2919ea2e764db2a790c491ca7ae4f123a862 Mon Sep 17 00:00:00 2001
From: Arthur David Olson <ado@elsie>
Date: Fri, 15 Oct 1993 12:25:52 -0400
Subject: [PATCH] Eggert deltas based on Shanks work

SCCS-file: europe
SCCS-SID: 7.6
---
 europe | 37 +++++++++++++++++++++++++++++++------
 1 file changed, 31 insertions(+), 6 deletions(-)

diff --git a/europe b/europe
index 2fce31b..3ab6599 100644
--- a/europe
+++ b/europe
@@ -7,6 +7,10 @@
 # ahead and edit the file (and please send any changes to
 # ado@ncifcrf.gov for general use in the future).
 
+# A good source for time zone historical data outside the U.S. is
+# Thomas G. Shanks, The International Atlas (3rd edition),
+# San Diego: ACS Publications, Inc. (1991).
+
 ###############################################################################
 
 # United Kingdom
@@ -52,7 +56,7 @@
 # 1921	3 April		3 October
 # 1922	26 March	8 October
 # 1923	22 April	16 September
-# 1924	30 April	21 September
+# 1924	13 April	21 September
 # 1925 to	3rd Sunday	1st Sunday
 # 1938	in April	in October
 #
@@ -120,6 +124,16 @@
 #
 # These dates agree with the ones from Whitaker's Almanac for 1960--87. . .
 
+# From Paul Eggert (October 14, 1993)
+#
+# I changed the date `30 April 1924' to `13 April 1924' in the above table
+# to fix what must be transcription error, since 30 April is not a Sunday,
+# and Shanks gives 13 April which is a Sunday.
+#
+# The rules for Eire below are taken from Shanks, and reflect his claim that
+# Eire changed the clock twice on 1 Oct 1916.  I invented `IST' and `IDT' as
+# abbreviations for Eire's standard and daylight time before 1 Oct 1916.
+
 # From Arthur David Olson (January 19, 1989):
 #
 # A source at the British Information Office in New York avers that it's
@@ -210,7 +224,7 @@
 
 # Rule	NAME	FROM	TO	TYPE	IN	ON	AT	SAVE	LETTER/S
 # 1916 to 1925--irregular
-Rule	GB-Eire	1916	only	-	Mar	21	2:00s	1:00	BST
+Rule	GB-Eire	1916	only	-	May	21	2:00s	1:00	BST
 Rule	GB-Eire	1916	only	-	Oct	1	2:00s	0	GMT
 Rule	GB-Eire	1917	only	-	Apr	8	2:00s	1:00	BST
 Rule	GB-Eire	1917	only	-	Sep	17	2:00s	0	GMT
@@ -225,8 +239,8 @@ Rule	GB-Eire	1921	only	-	Oct	3	2:00s	0	GMT
 Rule	GB-Eire	1922	only	-	Mar	26	2:00s	1:00	BST
 Rule	GB-Eire	1922	only	-	Oct	8	2:00s	0	GMT
 Rule	GB-Eire	1923	only	-	Apr	22	2:00s	1:00	BST
-Rule	GB-Eire	1923	only	-	Oct	16	2:00s	0	GMT
-Rule	GB-Eire	1924	only	-	Apr	30	2:00s	1:00	BST
+Rule	GB-Eire	1923	only	-	Sep	16	2:00s	0	GMT
+Rule	GB-Eire	1924	only	-	Apr	13	2:00s	1:00	BST
 Rule	GB-Eire	1924	only	-	Sep	21	2:00s	0	GMT
 # 1925 to 1939 start--regular
 Rule	GB-Eire	1925	1939	-	Apr	Sun>=15	2:00s	1:00	BST
@@ -266,7 +280,6 @@ Rule	GB-Eire	1955	1959	-	Apr	Sun>=14	2:00s	1:00	BST
 Rule	GB-Eire	1960	only	-	Apr	10	2:00s	1:00	BST
 Rule	GB-Eire	1961	1963	-	Mar	lastSun	2:00s	1:00	BST
 Rule	GB-Eire	1964	1967	-	Mar	Sun>=19	2:00s	1:00	BST
-Rule	GB-Eire	1968	only	-	Feb	18	2:00s	1:00	BST
 Rule	GB-Eire	1972	1980	-	Mar	Sun>=16	2:00s	1:00	BST
 # 1953 to 1980, ending rules
 Rule	GB-Eire	1953	1960	-	Oct	Sun>=1	2:00s	0	GMT
@@ -278,7 +291,19 @@ Rule	GB-Eire	1981	max	-	Mar	lastSun	1:00s	1:00	BST
 Rule	GB-Eire	1981	max	-	Oct	Sun>=23	1:00s	0	GMT
 
 # Zone	NAME		GMTOFF	RULES/SAVE	FORMAT	[UNTIL]
-Zone	GB-Eire		0:00	GB-Eire		%s	1968 Oct 27 2:00s
+Zone	GB		0:00	-		GMT	1916 May 21 2:00s
+			0:00	GB-Eire		%s	1968 Feb 18 2:00s
+			1:00	-		BST	1971 Oct 31 2:00s
+			0:00	GB-Eire		%s
+Zone	Eire		-0:25	-		IST	1916 May 21 2:00
+			-0:25	1:00		IDT	1916 Oct  1 2:00
+			0:00	1:00		BST	1916 Oct  1 3:00
+			0:00	GB-Eire		%s	1940 Feb 25 2:00
+			0:00	1:00		BST	1946 Oct  6 2:00
+			0:00	-		GMT	1947 Mar 16 2:00
+			0:00	1:00		BST	1947 Nov  2 2:00
+			0:00	-		GMT	1948 Apr 18 2:00
+			0:00	GB-Eire		%s	1968 Feb 18 2:00s
 			1:00	-		BST	1971 Oct 31 2:00s
 			0:00	GB-Eire		%s