On Thu, 17 Feb 2000, Paul Eggert wrote:
Changes to commentary only
* Replace long discussion of UK legal history with pointer to Joseph Myers's nice new web page.
I believe that the following change to comments is implied by my analysis and should also be applied. I also claim that, since the Channel Islands and the Isle of Man are not part of the UK but form three semi-independent territories (the Bailiwicks of Guernsey and of Jersey and the Isle of Man) (with their own TLDs, .gg, .je, .im), they should have their own zone names, following the principles in the Theory file, even though there is little enough information concerning timezone differences between them and the UK and they almost certainly have agreed since 1970. --- europe.orig Tue Jan 18 14:21:19 2000 +++ europe Sat Feb 19 13:37:03 2000 @@ -830,8 +830,8 @@ Rule GB-Eire 1921 only - Oct 3 2:00s 0 GMT # S.R.&O. 1922, No. 264 Rule GB-Eire 1922 only - Mar 26 2:00s 1:00 BST -# The Summer Time Act, 1922 Rule GB-Eire 1922 only - Oct 8 2:00s 0 GMT +# The Summer Time Act, 1922 Rule GB-Eire 1923 only - Apr Sun>=16 2:00s 1:00 BST Rule GB-Eire 1923 1924 - Sep Sun>=16 2:00s 0 GMT Rule GB-Eire 1924 only - Apr Sun>=9 2:00s 1:00 BST -- Joseph S. Myers jsm28@cam.ac.uk