2005年11月10日 (木曜日)

22:37:57 # Life whizzytexが,tetex3のアップロードにより動かなくなったらしい. どうやら,initexなどが削除されたらしい. tex -ini を使え,とのことだ. 338046. initexの存在は結構有名なものなので, Debianだから削除してよいというものでもない気がする. whizzytexは,ドキュメントのソースをtexで処理した結果の texの内部状態をダンプしておくことで,次の処理を高速化する という意味でinitexを使っている. リアルタイムプレビューに必要なのでこういう使い方になっているのだが, まぁ,あるいみ非常に特殊だ. 昔は,おそらく巨大なドキュメントの処理を高速化するために 使えなくもない手法だったのかもしれないが最近は使っていないのだろうという雰囲気がただよう. TeX by Topicの33.2 More about formatsにさらっと書いてある説明だけを読んでも, 何がどうなのかよくわからん...困った.

Junichi Uekawa

$Id: dancer-diary.el,v 1.89 2005/05/12 11:19:14 dancer Exp $