From 8c09848ad556177c00a97aded4767530be5e77c0 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Sun, 15 Mar 2009 05:29:43 +0000
Subject: Also point at the stanford checking group webpage.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@67020 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/index.html | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'www/index.html')

diff --git a/www/index.html b/www/index.html
index 6bc310c0..2afd032f 100644
--- a/www/index.html
+++ b/www/index.html
@@ -18,9 +18,14 @@
   <p>klee is a symbolic virtual machine built on top of the LLVM
   compiler infrastructure.</p>
 
-  <p>Stay tuned for more information on public availability.</a>
+  <p>Stay tuned for more information on public availability. For now,
+  there is some information available on
+  the <a href="http://checking.stanford.edu/wiki/Klee">Stanford
+  Checking Group wiki</a>.</p>
 
-  <p>For more information, see the <a href="http://llvm.org/pubs/2008-12-OSDI-KLEE.html">OSDI 2008</a> paper.</p>
+  <p>For more information, see
+  the <a href="http://llvm.org/pubs/2008-12-OSDI-KLEE.html">OSDI
+  2008</a> paper.</p>
 
 </div>
 </body>
-- 
cgit 1.4.1