xv6: link to xv6-rev4

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-rev3.tar.gz">xv6-rev3.tar.gz</a>.
+The latest xv6 is <a href="xv6-rev4.tar.gz">xv6-rev4.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-rev3.pdf">xv6-rev3.pdf</a>.
+<a href="xv6-rev4.pdf">xv6-rev4.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>
@@ -353,6 +353,5 @@ Robert Morris (rtm@mit.edu)
 <br><br>
 You can reach all of us at 6.828-staff@pdos.csail.mit.edu.
 <br><br>
-<br><br>
 </body>
 </html>

web/index.txt

@@ -58,11 +58,13 @@ 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-rev4.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-rev4.pdf].
+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.
 
 xv6 compiles using the GNU C compiler,
 targeted at the x86 using ELF binaries.
@@ -335,5 +337,3 @@ Robert Morris (rtm@mit.edu)
 
 You can reach all of us at 6.828-staff@pdos.csail.mit.edu.
 
-xv6 and lecture notes are copyright &copy; 2006-present by Russ Cox,
-Frans Kaashoek, and Robert Morris.