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> _______________________________________________ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
