2015-05-11から1日間の記事一覧
表示関係の現状の調査: (list-colors-display) ;; *Colors* バッファに出てくる (list-faces-display) ;; *Faces* バッファに出てくる。 (font-family-list) ;; これは、prin1 か pp で囲むとよい M-x describe-font M-x describe-face 設定: (w32-select-…
cmigemoのWindowsバイナリ。 http://www.kaoriya.net/software/cmigemo/ ;; migemo (when (and (executable-find "cmigemo") (require 'migemo nil t)) (setq migemo-command "cmigemo") (setq migemo-options '("-q" "--emacs")) (setq migemo-dictionary "…
ProofGeneral, ESS なんてのはパッケージにない。 WindowsへのCoqのインストール - 檜山正幸のキマイラ飼育記 Rコードの編集のために、ESSをトリアエズで入れた - 檜山正幸のキマイラ飼育記 WindowsへのOCamlのインストール - 檜山正幸のキマイラ飼育記 OCam…
Windowsに、Emacsをゼロから入れる手順。環境が変わると毎度やらねばならない、疲れる。本体 http://sourceforge.jp/projects/gnupack/ 現時点での最新は、gnupack 13.00-2015.05.02 (日付: 2015-05-02)。gnupackは良く出来ているが作り込み過ぎている。参考…