<<ファイル出力>> ［概要］ 　検索した結果をファイルに出力する機能です。 　出力するファイル名を指定してください。もちろん、出力するファイルは書き込み可能なファイルでなければなりません。 ［解説］ 　検索結果を印刷する機能ができないのでせめてファイルに出力できるようしました。 そうすればそのファイルを別のツールで印刷できるので。 ただ、出力形式は適当です。将来のバージョンで出力形式が変更される可能性は十分にあります。ａｗｋなどのツールで出力形式を修正できるので出力形式については、特に問題はないと思います。 (C) 1993,1994 White of Cat