# HG changeset patch
# User HackBot
# Date 1469492658 0
# Node ID 5829d0d8c71084fc76c9960796243c119c942d1f
# Parent  372b3e71a88f9f7ac6137bb418890f0cc85bc05d
<oerjan> slwd hydra//s/[Tt]he //g;s/ (is )?at/:/g

diff -r 372b3e71a88f -r 5829d0d8c710 wisdom/hydra
--- a/wisdom/hydra	Mon Jul 25 22:58:08 2016 +0000
+++ b/wisdom/hydra	Tue Jul 26 00:24:18 2016 +0000
@@ -1,1 +1,1 @@
-The hydra is at http://www.madore.org/~david/math/hydra0.xhtml , the dire hydra at http://www.madore.org/~david/math/hydra.xhtml , theory at http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikipedia.org/wiki/Goodstein%27s_theorem 
+hydra is at http://www.madore.org/~david/math/hydra0.xhtml , dire hydra at http://www.madore.org/~david/math/hydra.xhtml , theory at http://www.madore.org/~david/weblog/d.2008-03-27.1537.html http://www.madore.org/~david/weblog/d.2008-03-16.1534.ordinaux-et-hydres.html http://math.andrej.com/2008/02/02/the-hydra-game/ https://en.wikipedia.org/wiki/Goodstein%27s_theorem