名前: 本田 日時: 2012-07-29 22:35:15 IPアドレス: 211.128.147.* 以前のOmegaベースのlambdaには mathMLをそれなりに生成してくれる機能がありました． この生成機能，今のAlephベースのlambdaやlamedに 受け継がれてはいないのでしょうか 少なくとも以前と同じコマンドでは動かないので そのままではないのは明らかなのですが．
この書き込みへの返事：