Isabelle を Cygwin にインストール

書かれているとおりにしても，起動しない．その後ごにょごにょやって Proof General は起動したのだが，Isabelle のプロセスが segmentation fault を出す．

どうも，/usr/local/Isabelle/bin に，起動スクリプト Isabelle と isabelle があって，$0 の先頭の文字を見て切り替えるようになっていて (.... 余計なことを! ....) で，Cygwin だから，当然そういうことはできず．小文字のほうだけ入っている状態になっている，のが問題であるようだ．(他にもあるかもしれないが，とりあえずは．)

isabelle を Isabelle に名前を変えたら (mv isabelle foo; mv foo Isabelle) ，とりあえず動いているみたい (??)