Re: Source Special

名前: 角藤
日時: 2002-06-12 15:20:41
IPアドレス: 157.13.1.*

>>8914 最終出力では source specials を付けないのが正解だと思います。 source specials を付けると、通常の dvi ではなくなるため、 出力結果に影響を与えることがあり得ます。従って、ごく最近の TeX では source specials オプションが on のときは、 banner が違っており、注意を促すようになっています。 (オリジナル TeX の source specials オンのときの banner:) This is derived from TeX, Version 3.14159 (Web2C 7.3.7) Source specials enabled.

この書き込みへの返事:

お名前
題名 
メッセージ(タグは <a href="...">...</a> だけ使えます)