>From b97fd8d0b284e79be9c4bc3ef6d6eedbd872dd49 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Tue, 23 Oct 2018 12:13:26 -0700
Subject: [PROPOSED] * NEWS, theory.html: Mention HWT/HPT.

---
 NEWS        | 4 ++++
 theory.html | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/NEWS b/NEWS
index 16f0947..4eb313f 100644
--- a/NEWS
+++ b/NEWS
@@ -10,6 +10,10 @@ Unreleased, experimental changes
     This caters to zic before 2007 and to at least one Java-based zi
     compiler of uncertain vintage.  (Reported by Christos Zoulas.)
 
+  Changes to past time zone abbreviations
+
+    Change HDT to HWT/HPT for WWII-era abbreviations in Hawaii.
+
 
 Release 2018f - 2018-10-18 00:14:18 -0700
 
diff --git a/theory.html b/theory.html
index 8dd58db..e9c9716 100644
--- a/theory.html
+++ b/theory.html
@@ -407,7 +407,7 @@ in decreasing order of importance:
       EST/EDT/EWT/EPT/EDDT Eastern [North America],
       EET/EEST Eastern European,
       GST Guam,
-      HST/HDT Hawaii,
+      HST/HDT/HWT/HPT Hawaii,
       HKT/HKST Hong Kong,
       IST India,
       IST/GMT Irish,
-- 
2.17.2