2008-10-30から1日間の記事一覧
書かれているとおりにしても,起動しない.その後ごにょごにょやって Proof General は起動したのだが,Isabelle のプロセスが segmentation fault を出す.どうも,/usr/local/Isabelle/bin に,起動スクリプト Isabelle と isabelle があって,$0 の先頭の…
書かれているとおりにしても,起動しない.その後ごにょごにょやって Proof General は起動したのだが,Isabelle のプロセスが segmentation fault を出す.どうも,/usr/local/Isabelle/bin に,起動スクリプト Isabelle と isabelle があって,$0 の先頭の…