名前: 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...)
この書き込みへの返事: