Commenting out

Author: davidcok

tutorial/Postconditions.md

@@ -5,7 +5,7 @@ title: JML Tutorial - Postconditions (ensures clauses)
 <!--
 <div style="display: flex; justify-content: space-between;">
     <div style="width: 30%; white-space: nowrap; overflow: hidden; text-overflow: ellipsis;">
-        <a href="index.html">&lt;&lt;&lt;Previous</a>
+        <a href="index.html">&lt;&lt;&lt; Previous</a>
     </div>
     <div style="width: 30%; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; text-align:center;">
         <a href="index.html">TOC</a>
@@ -14,7 +14,7 @@ title: JML Tutorial - Postconditions (ensures clauses)
         <a href="Preconditions.html">Next &gt;&gt;&gt;</a>
     </div>
 </div>
-
+-->
 
 A method's specification states _what_ the method does,
 but not _how_ it is done. The effect of a method is