last minute fixes again

willdurand-slides · Jun 25, 2015 · 9290d2a · 9290d2a
1 parent 3ffbcf7
commit 9290d2a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/images/autofunk_branded.png b/images/autofunk_branded.png
diff --git a/index.html b/index.html
@@ -157,7 +157,7 @@ <h1 class="title">Autofunk: an Inference-Based Formal Model Generation<br>Framew
                         </script>
                     </section>
                     <section>
-                        <h3>Autofunk In Depth</h3>
+                        <h3>In Depth Autofunk</h3>
                         <p>
                             <img src="images/autofunk.png" class="no-border" />
                         </p>
@@ -184,7 +184,7 @@ <h3>Autofunk In Depth</h3>
 
                             <i class="fa fa-arrow-down"></i>
 
-                            161,035 different traces
+                            161,035 traces
 
                             <i class="fa fa-arrow-down"></i>