diff -r 407bea05c2da -r 274eaa114c6d Admin/website/installation_notes_cygwin.html --- 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. g.
- @bash startx -geometry 30x4 -iconic -e Isabell + @bash startx -geometry 30x4 -iconic -e Isabelle
and assigning a shortcut in the start menu to it.