From 0303b7892e189957d3470c06f06c71f68900a380 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Sun, 18 Mar 2018 15:19:29 -0700
Subject: [PROPOSED 2/2] * theory.html: Mention Chillicothe etc.

---
 theory.html | 15 ++++++++++-----
 1 file changed, 10 insertions(+), 5 deletions(-)

diff --git a/theory.html b/theory.html
index f40706a..4d8726d 100644
--- a/theory.html
+++ b/theory.html
@@ -568,15 +568,20 @@ href="https://www.dissentmagazine.org/blog/booked-a-global-history-of-time-vanes
     Other countries are not done nearly as well.
   </li>
   <li>
-    Sometimes, different people in the same city would maintain clocks
-    that differed significantly.
-    Railway time was used by railroad companies (which did not always
+    Sometimes, different people in the same city maintain clocks
+    that differ significantly.
+    Historically, railway time was used by railroad companies (which
+    did not always
     agree with each other), church-clock time was used for birth
     certificates, etc.
-    Often this was merely common practice, but sometimes it was set by law.
+    More recently, competing political groups might disagree about
+    clock settings. Often this is merely common practice, but
+    sometimes it is set by law.
     For example, from 1891 to 1911 the <abbr>UT</abbr> offset in France
     was legally <abbr>UT</abbr> +00:09:21 outside train stations and
-    <abbr>UT</abbr> +00:04:21 inside.
+    <abbr>UT</abbr> +00:04:21 inside. Other examples include
+    Chillicothe in 1920, Palm Springs in 1946/7, and Jerusalem and
+    Ürümqi to this day.
   </li>
   <li>
     Although a named location in the <code><abbr>tz</abbr></code>
-- 
2.7.4