From 4f72c0e1f49fa50ab39ad0a8abe44b4a69aab4fd Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Thu, 4 Oct 2018 12:47:50 -0700
Subject: [PROPOSED] * theory.html (Names of timezones): Give CLDR example.

---
 theory.html | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/theory.html b/theory.html
index 83fba5b..4f2554c 100644
--- a/theory.html
+++ b/theory.html
@@ -116,7 +116,10 @@ interface that explains the names; for one example, see the
 <code>tzselect</code> program in the <code><abbr>tz</abbr></code> code.
 The <a href="http://cldr.unicode.org/">Unicode Common Locale Data
 Repository</a> contains data that may be useful for other selection
-interfaces.
+interfaces; it maps timezone names like <code>Europe/Uzhgorod</code>
+to CLDR names like <code>uauzh</code> which are in turn mapped to
+locale-dependent strings like "Uzhhorod", "Ungvár", "Ужгород", and
+"乌日哥罗德".
 </p>
 
 <p>
-- 
2.17.1