[llvm-commits] [klee] r71231 - /klee/trunk/www/index.html

Daniel Dunbar daniel at zuster.org
Fri May 8 11:02:40 PDT 2009


Author: ddunbar
Date: Fri May  8 13:02:24 2009
New Revision: 71231

URL: http://llvm.org/viewvc/llvm-project?rev=71231&view=rev
Log:
More or less a test commit.

Modified:
    klee/trunk/www/index.html

Modified: klee/trunk/www/index.html
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/www/index.html?rev=71231&r1=71230&r2=71231&view=diff

==============================================================================
--- klee/trunk/www/index.html (original)
+++ klee/trunk/www/index.html Fri May  8 13:02:24 2009
@@ -15,8 +15,8 @@
   <h1>The klee Symbolic Virtual Machine</h1>
   <!--*********************************************************************-->
 
-  <p>klee is a symbolic virtual machine built on top of the LLVM
-  compiler infrastructure.</p>
+  <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,
   there is some information available on





More information about the llvm-commits mailing list