[pypy-commit] pypy.org extradoc: Mention RevDB from here

[arigo]

Author: Armin Rigo <arigo at tunes.org>
Branch: extradoc
Changeset: r824:0917de0cf92d
Date: 2016-11-30 00:50 +0100
http://bitbucket.org/pypy/pypy.org/changeset/0917de0cf92d/

Log:	Mention RevDB from here

diff --git a/download.html b/download.html
--- a/download.html
+++ b/download.html
@@ -182,6 +182,11 @@
 <li>The most up-to-date <a class="reference external" href="http://buildbot.pypy.org/nightly/trunk/">nightly binary builds</a> with a JIT, if the official
 release is too old for what you want to do. There are versions for
 different libc on this site too.</li>
+<li>Reverse debugger (RevDB): This version enables debugging your Python
+programs by going forward and backward in time.  See the <a class="reference external" href="https://bitbucket.org/pypy/revdb/">separate
+documentation</a>.</li>
+</ul>
+<ul class="simple">
 <li>Sandboxing: A special safe version.  Read the docs about <a class="reference external" href="features.html#sandboxing">sandboxing</a>.
 (It is also possible to <a class="reference internal" href="#translate">translate</a> a version that includes both
 sandboxing and the JIT compiler, although as the JIT is relatively
diff --git a/source/download.txt b/source/download.txt
--- a/source/download.txt
+++ b/source/download.txt
@@ -189,6 +189,12 @@
   release is too old for what you want to do. There are versions for
   different libc on this site too.
 
+* Reverse debugger (RevDB): This version enables debugging your Python
+  programs by going forward and backward in time.  See the `separate
+  documentation`__.
+
+.. __: https://bitbucket.org/pypy/revdb/
+
 * Sandboxing: A special safe version.  Read the docs about sandboxing_.
   (It is also possible to translate_ a version that includes both
   sandboxing and the JIT compiler, although as the JIT is relatively