セットアップ
修理に出していた Mac が帰って来たので、セットアップ。
- XCode Tools
- Carbon Emacs
のインストールまで済んでいたので、
ののちに、
sudo port selfupdate
sudo port install ocaml +doc +labltk
sudo port install proofgeneral
sudo port install wget
sudo port install ledit
sudo port install nkf
sudo port install w3m
sudo port install psutils
sudo port install lha
sudo port install ghostscript
sudo port install ghostscript-fonts-hiragino
sudo port install gv
sudo port install ptex +nox11
sudo port install mpage +mediaA4
sudo port install msmtp
sudo port install subversion
sudo port install ispell
Coq は
を見て入れた。
しかし、この方法だと coqide は相変わらず動かない;
coqtop は入ったので、記念に証明。また遊びたい。
まだ入れていないもの
- a2ps (文字化け)
- ghc
- smlnj
- DrScheme