From 21bbf33d53209f1bc30562b1bebb9f568c5c7360 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Fri, 22 May 2009 06:07:50 +0000
Subject: Some minor web page tweaks.

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

(limited to 'www/index.html')

diff --git a/www/index.html b/www/index.html
index 4b9e5f3b..e789bf56 100644
--- a/www/index.html
+++ b/www/index.html
@@ -16,17 +16,16 @@
   <!--*********************************************************************-->
 
   <p>KLEE is a symbolic virtual machine built on top of
-  the <a href="http://llvm.org">LLVM</a> compiler infrastructure.</p>
+  the <a href="http://llvm.org">LLVM</a> compiler infrastructure, and available
+  under the UIUC open source license.</p>
 
-  <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
+  <p>For more information on what KLEE is and what it can do, see
   the <a href="http://llvm.org/pubs/2008-12-OSDI-KLEE.html">OSDI
   2008</a> paper.</p>
 
+  <p>If you are interested in trying it yourself, please
+  see <a href="GetStarted.html">Getting Started</a>.</p>
+
 <!--  <p>FIXME: Somewhere need to describe what KLEE can do well and what
       is more "experimental" or research level. This should also address
       how KLEE could be used by outside groups (i.e. kleaver).</p> -->
-- 
cgit 1.4.1