made title consistent

lausdahl · lausdahl · commit 7cf7dfdc2196 · 2014-05-22T16:01:18.000+02:00
diff --git a/_layouts/default.html b/_layouts/default.html
@@ -16,7 +16,7 @@
   <body>
     <div class="wrapper">
       <header>
-        <h1>The Overture Platform</h1>
+        <h1>Overture Tool</h1>
         <h3>Formal Modelling in VDM</h3>
 
         <ul>
