Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/website/installation_notes_cygwin.html
changeset 17780 274eaa114c6d
parent 17734 fb2fd74358e1 
--- a/Admin/website/installation_notes_cygwin.html	Fri Oct 07 22:59:15 2005 +0200
+++ b/Admin/website/installation_notes_cygwin.html	Fri Oct 07 22:59:17 2005 +0200
@@ -199,7 +199,7 @@
       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>
isabelle