# 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;