How to avoid duplication (comment for message 12705)

名前: Shippo-Aikouka
日時: 2002-11-08 00:52:17
IPアドレス: 210.136.161.*

>>12705 I guess program(*) environment is something like verbatim environment. Then, the contents of a program environment is *totally different* from that of a screen environment. (This is related to the category code of each character.) So, one cannot expect the existence of easy solution... (Of course I know complicated partial answer, that is, change category codes first for the purpose of verbatim typesetting, then reconstruct the original sequence of tokens...)


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