X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fintro.texi;fp=doc%2Fintro.texi;h=a74ce8297c91009dad4fa423531a7fee707f613c;hb=2a7028b32e0b34edc8d3d570af1d0d810bea36b4;hp=0a5f85bf44f4ecbbf5a51f91eac2d2c9a3538216;hpb=392931f3f604f0c8ceb7d97dba21c7fefa2a2187;p=pintos-anon

diff --git a/doc/intro.texi b/doc/intro.texi
index 0a5f85b..a74ce82 100644
--- a/doc/intro.texi
+++ b/doc/intro.texi
@@ -17,8 +17,7 @@ systems and software can run under it.  In class we will use the
 @uref{http://bochs.sourceforge.net, , Bochs} and 
 @uref{http://fabrice.bellard.free.fr/qemu/, ,
 qemu} simulators.  Pintos has also been tested with
-@uref{http://www.vmware.com/products/server/gsx_features.html, ,
-VMware GSX Server}.
+@uref{http://www.vmware.com/, , VMware Player}.
 
 These projects are hard.  CS 140 has a reputation of taking a lot of
 time, and deservedly so.  We will do what we can to reduce the workload, such