标签: java file file-io operating-system file-format
我正在尝试在jtextarea中打开.lps文件,但textarea可能不支持此文件格式。 输出字符串不可读。
此文件是.mcrl2文件的输出,您可以在
http://www.mcrl2.org/release/user_manual/index.html
建议在jTextarea中打开.lps文件的方法我的操作系统是Windows。 提前致谢。