point at rev3

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.
 
 <h2>Xv6 sources</h2>
-The latest xv6 is <a href="xv6-rev2.tar.gz">xv6-rev2.tar.gz</a>.
+The latest xv6 is <a href="xv6-rev3.tar.gz">xv6-rev3.tar.gz</a>.
 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
-<a href="xv6-rev2.pdf">xv6-rev2.pdf</a>.
+<a href="xv6-rev2.pdf">xv6-rev3.pdf</a>.
 The xv6 source code is licensed under the traditional <a href="http://www.opensource.org/licenses/mit-license.php">MIT license</a>;
 see the LICENSE file in the source distribution.
 <br><br>