diff --git a/web/index.html b/web/index.html
index ea90263..e342635 100644
--- a/web/index.html
+++ b/web/index.html
@@ -90,11 +90,11 @@ Jos without xv6; we believe other courses could use
xv6 without Jos, though we are not aware of any that have.
Xv6 sources
-The latest xv6 is xv6-rev2.tar.gz.
+The latest xv6 is xv6-rev3.tar.gz.
We distribute the sources in electronic form but also as
a printed booklet with line numbers that keep everyone
together during lectures. The booklet is available as
-xv6-rev2.pdf.
+xv6-rev3.pdf.
The xv6 source code is licensed under the traditional MIT license;
see the LICENSE file in the source distribution.