Typos

Author: davidcok

downloads/index.html

@@ -39,7 +39,7 @@ <h2>Installing OpenJML (Command Line Tool)</h2>
       <li> openjml-run -- this script runs a program compiled by openjml-compile
       </ul>
 
-      <p>Current versions of the pdf file are also available from <a href="../downloads">this web site</a>.</p>
+      <p>Current versions of the pdf file are also available from <a href="../documentation">this web site</a>.</p>
       <p>If <i>$OJ</i> is the installation directory, then you can run openjml 
       using the command line <i>$OJ</i><tt>/openjml</tt>. For example,
       <i>$OJ</i><tt>/openjml --version</tt> will emit the version number of this build.

index.html

@@ -17,7 +17,7 @@ <h2>Verify Your Java Programs with JML</h2>
     </div>
     <div class="col-md-4">
       <h2>Support for Static and Runtime Checking</h2>
-      <p>Verification in OpenJML can be performed either by using our static ideductive verification capability or by using our runtime assertion checking features. Runtime assertion checking is often easier to write specifications for whereas static checking gives stronger guarantees about program behavior.  </p>
+      <p>Verification in OpenJML can be performed either by using our static deductive verification capability or by using our runtime assertion checking features. Runtime assertion checking is often easier to write specifications for whereas static checking gives stronger guarantees about program behavior.  </p>
 <p><b>To learn more, select one of the menu buttons at the top of this web page.</b></p>
     </div>
     <div class="col-md-4">

tutorial/.gitignore

@@ -2,3 +2,4 @@ begin
 rest
 temp_include
 *.class
+**/*.actual