--- a/polly/www/index.html	Wed Jul 21 10:27:27 2021 +0900
+++ b/polly/www/index.html	Wed Nov 09 17:45:10 2022 +0900
@@ -110,7 +110,7 @@
       mappings are lowered to efficient C/LLVM code.
       <li><b>User-defined constraint sets for run-time checks</b> We discuss how
       arbitrary sets of constraints can be used to automatically create run-time
-      checks that ensure a set of constrainst actually hold. This feature is
+      checks that ensure a set of constraints actually hold. This feature is
       very useful to verify at run-time various assumptions that have been taken
       program optimization.
     </ul>
@@ -142,7 +142,7 @@
   The support for ScopLib as an exchange format has been removed as recent
   versions of clan, candl and pluto all support the OpenScop exchange format.
 
-  The support of the external optmizer PoCC has been dropped in favor of the
+  The support of the external optimizer PoCC has been dropped in favor of the
   isl optimizer (default) and the still available pluto support.
   </td>
   </tr>
@@ -154,7 +154,7 @@
   and David Peixotto's (both Qualcomm) recent <a
   href="https://repo.or.cz/w/isl.git/commit/60703e3ee89b9d5d4d1afb6a3f611292c0884574">commit</a>
   to isl, isl's latest development version can be built with imath instead of
-  GMP. With both CLooG and gmp having become optional, the last obilgatory
+  GMP. With both CLooG and gmp having become optional, the last obligatory
   dependency to GPL licensed software has been removed. Now Polly only depends
   on isl (and the included imath), which are both MIT licensed.
   </td>
@@ -377,7 +377,7 @@
 
   <tr><td><b><br>2010</b></td></tr>
   <tr>
-  <td><p> Dezember </p></td>
+  <td><p> December </p></td>
   <td><p>Basic vectorization support </p></td>
   </tr>