Mercurial > repo

changeset 8841:78ac5a4e1f03

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<b_jonas> `` sed -i \'s>https://en\\.wikipedia.*>https://en.wikipedia.org/wiki/Goodstein%27s_theorem >\' wisdom/hydra
author HackBot
date Mon, 25 Jul 2016 10:07:08 +0000
parents 409aa9d7309b
children b0344e56fa10
files wisdom/hydra
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/wisdom/hydra	Mon Jul 25 10:04:29 2016 +0000
+++ b/wisdom/hydra	Mon Jul 25 10:07:08 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
+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