Update top-level README to include our S/F URL.

HOL-Theorem-Prover · Oct 4, 2011 · 1bf9713 · 1bf9713
1 parent 86145c1
commit 1bf9713
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/README b/README
@@ -1,5 +1,7 @@
 This is the distribution directory for the Kananaskis release of HOL4.
-The following is a brief listing of what's available.
+See http://hol.sourceforge.net for online resources.
+
+The following is a brief listing of what's available in the distribution.
 
      INSTALL        * Installation instructions
      COPYRIGHT      * Copyright notice