[llvm-commits] CVS: llvm-www/pubs/2007-07-CAV-StructuralAbstraction.html

[Chris Lattner]

Changes in directory llvm-www/pubs:

2007-07-CAV-StructuralAbstraction.html updated: 1.1 -> 1.2
---
Log message:

remove some spaces


---
Diffs of the changes:  (+1 -3)

 2007-07-CAV-StructuralAbstraction.html |    4 +---
 1 files changed, 1 insertion(+), 3 deletions(-)


Index: llvm-www/pubs/2007-07-CAV-StructuralAbstraction.html
diff -u llvm-www/pubs/2007-07-CAV-StructuralAbstraction.html:1.1 llvm-www/pubs/2007-07-CAV-StructuralAbstraction.html:1.2
--- llvm-www/pubs/2007-07-CAV-StructuralAbstraction.html:1.1	Thu Apr 26 23:57:07 2007
+++ llvm-www/pubs/2007-07-CAV-StructuralAbstraction.html	Thu Apr 26 23:58:54 2007
@@ -49,9 +49,7 @@
 <h3>Paper:</h3>
 <ul>
 <li>
-"<a href="2007-07-CAV-StructuralAbstraction.pdf">
-Structural Abstraction of Software Verification Conditions
-</a>" (PDF)
+"<a href="2007-07-CAV-StructuralAbstraction.pdf">Structural Abstraction of Software Verification Conditions</a>" (PDF)
 </li>
 </ul>