# HG changeset patch
# User paulson
# Date 936346362 -7200
# Node ID ee17ad649c2683690956c15a54667ab3d82de017
# Parent  e5356e73f57ab49cdfbdd4e4cd5340325486939d
new SVC url

diff -r e5356e73f57a -r ee17ad649c26 NEWS
--- 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;