[llvm-commits] [www] r138436 - /www/trunk/index.html

[John Criswell]

Author: criswell
Date: Wed Aug 24 10:55:19 2011
New Revision: 138436

URL: http://llvm.org/viewvc/llvm-project?rev=138436&view=rev
Log:
Made the use of bold font for project names consistent (specifically, added
bold type for the C++ ABI link).
Fixed extreaneous comma in Klee description.

Modified:
    www/trunk/index.html

Modified: www/trunk/index.html
URL: http://llvm.org/viewvc/llvm-project/www/trunk/index.html?rev=138436&r1=138435&r2=138436&view=diff
==============================================================================
--- www/trunk/index.html (original)
+++ www/trunk/index.html Wed Aug 24 10:55:19 2011
@@ -69,8 +69,8 @@
     blazing fast and much more memory efficient than GDB at loading symbols.
     </p></li>
     
-<li><p>The <b><a href="http://libcxx.llvm.org">libc++</a></b> and <a 
-    href="http://libcxxabi.llvm.org">libc++ ABI</a> projects provide
+<li><p>The <b><a href="http://libcxx.llvm.org">libc++</a></b> and
+    <b><a href="http://libcxxabi.llvm.org">libc++ ABI</a></b> projects provide
     a standard conformant and high-performance implementation of the C++
     Standard Library, including full support for C++'0x.</p></li>
     
@@ -86,7 +86,7 @@
 
 <li><p>The <b><a href="http://klee.llvm.org">klee</a></b> project implements a 
     "symbolic virtual machine" which uses a theorem prover to try to evaluate
-    all dynamic paths through a program, in an effort to find bugs and to prove
+    all dynamic paths through a program in an effort to find bugs and to prove
     properties of functions.  A major feature of klee is that it can produce a
     testcase in the event that it detects a bug.</p></li>