about summary refs log tree commit diff homepage
path: root/www/index.html
diff options
context:
space:
mode:
authorCristian Cadar <cristic@cs.stanford.edu>2009-05-20 06:29:36 +0000
committerCristian Cadar <cristic@cs.stanford.edu>2009-05-20 06:29:36 +0000
commita55960edd4dcd7535526de8d2277642522aa0209 (patch)
treec527e3cd2339d39b2d0717fb31a40bcfc23e23dc /www/index.html
parentf01ff0f8e0ffca185a87143e6461a539b9285930 (diff)
downloadklee-a55960edd4dcd7535526de8d2277642522aa0209.tar.gz
Web page changes. Added a nice way to format code (div.code) in our CSS file.
Added download and install instructions, and a bug report page.



git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72163 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www/index.html')
-rw-r--r--www/index.html7
1 files changed, 4 insertions, 3 deletions
diff --git a/www/index.html b/www/index.html
index 636e109f..ea60335a 100644
--- a/www/index.html
+++ b/www/index.html
@@ -4,7 +4,7 @@
 <html>
 <head>
   <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
-  <title>The klee Symbolic Virtual Machine</title>
+  <title>The KLEE Symbolic Virtual Machine</title>
   <link type="text/css" rel="stylesheet" href="menu.css">
   <link type="text/css" rel="stylesheet" href="content.css">
 </head>
@@ -12,10 +12,10 @@
 <!--#include virtual="menu.html.incl"-->
 <div id="content">
   <!--*********************************************************************-->
-  <h1>The klee Symbolic Virtual Machine</h1>
+  <h1>The KLEE Symbolic Virtual Machine</h1>
   <!--*********************************************************************-->
 
-  <p>klee is a symbolic virtual machine built on top of
+  <p>KLEE is a symbolic virtual machine built on top of
   the <a href="http://llvm.org">LLVM</a> compiler infrastructure.</p>
 
   <p>Stay tuned for more information on public availability. For now,
@@ -28,5 +28,6 @@
   2008</a> paper.</p>
 
 </div>
+
 </body>
 </html>