auto-install-batch Symbol's value variable is void: ●● <- ●のところはwgetが出力するusageってのがでて、anything.elがインストールできない。どうもWindowsに入れてるwgetには --no-check-certificateというオプションが無いみたいですね。 というわけ…

http://www.bookshelf.jp/soft/meadow_30.html#SEC404Proof General を使っていると、画面を左右に分けたいときがある。 特に、長い証明なのに上下分割されると画面がもったいない。と思っていたら@yam6daさんから、上記のelispの紹介があった。 すばらしい。