Isabelle 環境準備
正月休みにも継続できるよう、 Sourceforge のシェルアカウント内に Isabelle 環境を構築。
公式のインストール手順に書かれている tarball を四つ落としてくる。
$ wget http://isabelle.in.tum.de/dist/Isabelle2008.tar.gz $ wget http://isabelle.in.tum.de/dist/contrib/ProofGeneral.tar.gz $ wget http://isabelle.in.tum.de/dist/contrib/polyml_x86-linux.tar.gz $ wget http://isabelle.in.tum.de/dist/HOL_x86-linux.tar.gz
Sourceforge の /usr/local へはアクセスできないので、ホームに isabelle ディレクトリーを掘ってそこに格納した。
$ mkdir isabelle $ cd isabelle $ tar xzf ../Isabelle2008.tar.gz $ tar xzf ../ProofGeneral.tar.gz $ tar xzf ../polyml_x86-linux.tar.gz $ tar xzf ../HOL_x86-linux.tar.gz
で、パスを通す。
$ cat << EOF >> ~/.bash_profile > PATH="$PATH":$PWD/isabelle/Isabelle/bin > EOF $ source .bash_profile
んむ。起動した。
$ Isabelle