在textarea java中打开.lps文件

时间:2013-12-12 21:04:20

标签: java file file-io operating-system file-format

我正在尝试在jtextarea中打开.lps文件,但textarea可能不支持此文件格式。 输出字符串不可读。

此文件是.mcrl2文件的输出,您可以在

查看更多详细信息

http://www.mcrl2.org/release/user_manual/index.html

建议在jTextarea中打开.lps文件的方法我的操作系统是Windows。 提前致谢。

0 个答案:

没有答案