new SVC url

--- a/NEWS	Thu Sep 02 15:25:19 1999 +0200
+++ b/NEWS	Fri Sep 03 10:12:42 1999 +0200
@@ -144,7 +144,7 @@
 are proved automatically.  SVC must be installed separately, and its results
 must be TAKEN ON TRUST (Isabelle does not check the proofs, but tags any
 invocation of the underlying oracle).  For SVC see
-  http://agamemnon.stanford.edu/~levitt/vc/index.html
+  http://verify.stanford.edu/SVC
 
 * IsaMakefile: the HOL-Real target now builds an actual image;