Admin/website/installation_notes_cygwin.html

     
       <p>To simplify starting ProofGeneral, consider writing a Windows command
       script, e.&nbsp;g.</p>
     
       <blockquote>
-        <tt>@bash startx -geometry 30x4 -iconic -e Isabell</tt>
+        <tt>@bash startx -geometry 30x4 -iconic -e Isabelle</tt>
       </blockquote>
       
       <p>and assigning a shortcut in the start menu to it.</p>
     </div>
     <div class="hr"><hr/></div>