Updates

Author: sdemarch

index.html

@@ -106,7 +106,7 @@ <h4 class="card-title">
                             </h4>
                             <p class="card-text">
                                 <span class="badge badge-primary">Tool</span>
-                                <span class="badge badge-info">2.0.1</span>
+                                <span class="badge badge-info">2.0.2</span>
                                 </br></br>A tool for learning and verification of neural networks.</br>
                                 <!--
                                     <h6 class="card-title" style="color: #1abc9c">Examples</h6>
@@ -130,7 +130,7 @@ <h4 class="card-title">
                             </h4>
                             <p class="card-text">
                                 <span class="badge badge-primary">API</span>
-                                <span class="badge badge-info">1.1.3</span>
+                                <span class="badge badge-info">1.2.1</span>
                                 </br></br>A Python library for learning and verification of neural networks and other machine learning models.
                             </p>
                         </div>
@@ -237,7 +237,7 @@ <h2 class="page-section-heading text-secondary d-inline-block mb-0">Spotlight</h
                 <!-- Download button -->
                 <div>
                     </br></br>
-                    <a href="assets/doc/slides.pdf" class="divider-custom-icon" download="Abstraction slides"><button class="btn"><i class="fa fa-download"></i> Download slides</button></a>
+                    <a href="assets/doc/never2.pdf" class="divider-custom-icon" download="NeVer2 paper"><button class="btn"><i class="fa fa-download"></i>Download paper</button></a>
                 </div>
             </div>
         </div>