Pusteblume

AFM(3)---Maude使用说明

load file-name 

1可用绝对路径

2.可进入maude文件所在目录下load

3.默认工作空间是什么?

分类:

技术点:

相关文章: