Permalink
Browse files

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

  • Loading branch information...
1 parent 86145c1 commit 1bf971372c2668faa0e81e4be121cd859675a789 @mn200 mn200 committed Oct 4, 2011
Showing with 3 additions and 1 deletion.
  1. +3 −1 README
View
4 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

0 comments on commit 1bf9713

Please sign in to comment.