[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