diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-05-08 18:02:24 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-05-08 18:02:24 +0000 |
| commit | bc2c3938d857fded44288ad346e8a3c60726c30c (patch) | |
| tree | 932292f345e2d2983f91a1a935b7062eaec7e19e /www/index.html | |
| parent | 0521c9ed7cc25c8ec0d8d1b3c309d5ce6bd3f7c4 (diff) | |
| download | klee-bc2c3938d857fded44288ad346e8a3c60726c30c.tar.gz | |
More or less a test commit.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@71231 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www/index.html')
| -rw-r--r-- | www/index.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/www/index.html b/www/index.html index 2afd032f..636e109f 100644 --- a/www/index.html +++ b/www/index.html @@ -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 |