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