まだ、Windows 8 に乗り換えざるを得なかった件で祟られている。 今日、Atok をインストールした。そもそも、Windows 8 ではこれまでの Atok が使えないというのも噴飯物なのだが、これをインストールしたら、xyzzy の Switch-bar.l がちゃんと機能しなくな…

定義と命題が書けたので証明は、まあまた明日でいいやと思い、寝る。寝よう寝よう。